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

Add a slight delay on reloading a changed desktop file, we were trying

Browse Source 
to read it before it finished writing, and ending up with no entry.
This commit is contained in:
Michael Webster 2013-05-08 12:27:04 -04:00
parent 49d24e0f4c
commit 17159d0492
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -1,6 +1,6 @@
#!/usr/bin/env python
from gi.repository import Gtk, GdkPixbuf, Gdk
from gi.repository import Gtk, GdkPixbuf, Gdk, GLib
from gi.repository import Pango
#import matedesktop
from gi.repository import GObject
@ -244,7 +244,7 @@ class ApplicationLauncher( easyButton ):
base = os.path.basename( self.desktopFile )
for dir in self.appDirs:
self.desktopEntryMonitors.append( filemonitor.addMonitor( os.path.join(dir, base) , self.onDesktopEntryFileChanged ) )
self.desktopEntryMonitors.append( filemonitor.addMonitor( os.path.join(dir, base) , self.desktopEntryFileChangedCallback ) )
easyButton.__init__( self, self.appIconName, iconSize )
self.setupLabels()
@ -434,6 +434,9 @@ class ApplicationLauncher( easyButton ):
for id in self.desktopEntryMonitors:
filemonitor.removeMonitor( id )
def desktopEntryFileChangedCallback (self):
GLib.timeout_add(200, self.onDesktopEntryFileChanged)
def onDesktopEntryFileChanged( self ):
exists = False
base = os.path.basename( self.desktopFile )
@ -454,6 +457,7 @@ class ApplicationLauncher( easyButton ):
if not exists:
# FIXME: What to do in this case?
self.destroy()
return False
class MenuApplicationLauncher( ApplicationLauncher ):