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

Change how we check for updating the icon theme

Browse Source
This commit is contained in:
Michael Webster 2013-05-21 10:38:23 -04:00
parent d1008d1fc3
commit f30f258ce6
2 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
usr/lib/linuxmint/mintMenu/mintMenu.py
View File

@ -444,7 +444,7 @@ class MainWindow( object ):
self.plugins["applications"].focusSearchEntry() self.plugins["applications"].focusSearchEntry()
def grab( self ): def grab( self ):
gdk.gdk_pointer_grab (hash(self.window.window), True, Gdk.EventMask.BUTTON_PRESS_MASK, None, None, 0) gdk.gdk_pointer_grab (hash(self.window.window), True, Gdk.EventMask.BUTTON_PRESS_MASK, None, None, Gdk.CURRENT_TIME)
Gdk.keyboard_grab( self.window.window, False, Gdk.CURRENT_TIME ) Gdk.keyboard_grab( self.window.window, False, Gdk.CURRENT_TIME )
Gtk.grab_add(self.window) Gtk.grab_add(self.window)

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

@ -84,9 +84,9 @@ class IconManager(GObject.GObject):
if iconFileName and needTempFile and os.path.exists( iconFileName ): if iconFileName and needTempFile and os.path.exists( iconFileName ):
tmpIconName = iconFileName.replace("/", "-") tmpIconName = iconFileName.replace("/", "-")
shutil.copyfile(iconFileName, os.path.join(self.iconDir, tmpIconName))
realIconName = tmpIconName[:-4] realIconName = tmpIconName[:-4]
if not self.defaultTheme.has_icon( realIconName ): if not os.path.exists(os.path.join(self.iconDir, tmpIconName)):
shutil.copyfile(iconFileName, os.path.join(self.iconDir, tmpIconName))
self.defaultTheme.append_search_path(self.iconDir) self.defaultTheme.append_search_path(self.iconDir)
image = Gtk.Image() image = Gtk.Image()