jbah.skp/mintmenu
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Cleaning up old monitors

Browse Source
This commit is contained in:
Clement Lefebvre 2010-10-26 15:23:41 +01:00
parent db45018cc6
commit 6bd0599106
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
usr/lib/linuxmint/mintMenu/plugins/applications.py
View File

@ -20,7 +20,7 @@ from execute import Execute
from easygconf import EasyGConf from easygconf import EasyGConf
from easyfiles import * from easyfiles import *
from filemonitor import monitor as filemonitor #from filemonitor import monitor as filemonitor
#import xdg.Menu #import xdg.Menu
import gmenu import gmenu
@ -300,7 +300,7 @@ class pluginclass( object ):
self.categoryList = [] self.categoryList = []
self.applicationList = [] self.applicationList = []
self.menuFileMonitors = [] #self.menuFileMonitors = []
self.rebuildLock = False self.rebuildLock = False
self.activeFilter = (1, "") self.activeFilter = (1, "")
@ -359,8 +359,8 @@ class pluginclass( object ):
self.gconf.notifyRemoveAll() self.gconf.notifyRemoveAll()
for mId in self.menuFileMonitors: #for mId in self.menuFileMonitors:
filemonitor.removeMonitor( mId ) # filemonitor.removeMonitor( mId )
def changePluginSize( self, client, connection_id, entry, args ): def changePluginSize( self, client, connection_id, entry, args ):
if entry.get_key() == self.gconf.gconfDir+"width": if entry.get_key() == self.gconf.gconfDir+"width":