diff --git a/usr/lib/linuxmint/mintMenu/plugins/applications.py b/usr/lib/linuxmint/mintMenu/plugins/applications.py index 020d828..2a927ef 100755 --- a/usr/lib/linuxmint/mintMenu/plugins/applications.py +++ b/usr/lib/linuxmint/mintMenu/plugins/applications.py @@ -282,6 +282,10 @@ class pluginclass( object ): self.builder.get_object("searchButton").connect( "button-press-event", self.searchPopup ) + self.icon_theme = Gtk.IconTheme.get_default(); + self.icon_theme.connect("changed", self.on_icon_theme_changed) + + def refresh_apt_cache(self): if self.useAPT: os.system("mkdir -p %s/.linuxmint/mintMenu/" % home) @@ -1546,6 +1550,10 @@ class pluginclass( object ): #self.favoritesReorder( int(selection.data), widget.position ) self.favoritesReorder( self.drag_origin, widget.position ) + def on_icon_theme_changed(self, theme): + print "on_icon_theme_changed" + self.menuChanged (0, 0) + def menuChanged( self, x, y ): print ("menuChanged") # wait 1s, to avoid building the menu multiple times concurrently