path: root/x11/cinnamon/files/patch-js-ui_main.js

--- js/ui/main.orig.js  2013-02-24 19:24:20.280514441 +0100
+++ js/ui/main.js   2013-02-24 19:24:32.637531219 +0100
@@ -27,7 +27,7 @@
 const RunDialog = imports.ui.runDialog;
 const Layout = imports.ui.layout;
 const LookingGlass = imports.ui.lookingGlass;
-const NetworkAgent = imports.ui.networkAgent;
+//const NetworkAgent = imports.ui.networkAgent;
 const NotificationDaemon = imports.ui.notificationDaemon;
 const WindowAttentionHandler = imports.ui.windowAttentionHandler;
 const Scripting = imports.ui.scripting;