From 6bd05991065c69680dc26cd066bd57f42c728d80 Mon Sep 17 00:00:00 2001 From: Clement Lefebvre Date: Tue, 26 Oct 2010 15:23:41 +0100 Subject: [PATCH] Cleaning up old monitors --- usr/lib/linuxmint/mintMenu/plugins/applications.py | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/usr/lib/linuxmint/mintMenu/plugins/applications.py b/usr/lib/linuxmint/mintMenu/plugins/applications.py index 03234e0..7ed19ad 100755 --- a/usr/lib/linuxmint/mintMenu/plugins/applications.py +++ b/usr/lib/linuxmint/mintMenu/plugins/applications.py @@ -20,7 +20,7 @@ from execute import Execute from easygconf import EasyGConf from easyfiles import * -from filemonitor import monitor as filemonitor +#from filemonitor import monitor as filemonitor #import xdg.Menu import gmenu @@ -300,7 +300,7 @@ class pluginclass( object ): self.categoryList = [] self.applicationList = [] - self.menuFileMonitors = [] + #self.menuFileMonitors = [] self.rebuildLock = False self.activeFilter = (1, "") @@ -359,8 +359,8 @@ class pluginclass( object ): self.gconf.notifyRemoveAll() - for mId in self.menuFileMonitors: - filemonitor.removeMonitor( mId ) + #for mId in self.menuFileMonitors: + # filemonitor.removeMonitor( mId ) def changePluginSize( self, client, connection_id, entry, args ): if entry.get_key() == self.gconf.gconfDir+"width":