diff --git a/debian/changelog b/debian/changelog index 1d2c061..37babff 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,9 @@ +mintmenu (5.0.9) julia; urgency=low + + * Added GTK RC name to mintmenu (allows GTK themes to have mintMenu specific sections) + + -- Clement Lefebvre Fri, 17 Sep 2010 14:54:00 +0000 + mintmenu (5.0.8) julia; urgency=low * Added GTK Themes support and configuration diff --git a/usr/lib/linuxmint/mintMenu/mintMenu.py b/usr/lib/linuxmint/mintMenu/mintMenu.py index da953a4..6be83fc 100755 --- a/usr/lib/linuxmint/mintMenu/mintMenu.py +++ b/usr/lib/linuxmint/mintMenu/mintMenu.py @@ -523,6 +523,8 @@ class MenuWin( object ): self.mainwin.window.connect( "unmap-event", lambda *args: self.applet.set_state( gtk.STATE_NORMAL ) ) self.mainwin.window.connect( "size-allocate", lambda *args: self.positionMenu() ) + self.mainwin.window.set_name("mintmenu") # Name used in Gtk RC files + icon = iconManager.getIcon( self.mainwin.icon, 1 ) if icon: gtk.window_set_default_icon( icon ) @@ -644,7 +646,7 @@ class MenuWin( object ): style_settings = gtk.settings_get_default() desktop_theme = self.gconf.get( "string", '/desktop/gnome/interface/gtk_theme', "") if self.theme_name == "default": - style_settings.set_property("gtk-theme-name", desktop_theme) + style_settings.set_property("gtk-theme-name", desktop_theme) else: try: style_settings.set_property("gtk-theme-name", self.theme_name)