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

Specific GTKRC name

Browse Source
This commit is contained in:
Clement Lefebvre 2010-09-17 14:55:03 +01:00
parent 3f63fac7ed
commit b9bb28eb61
2 changed files with 9 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
debian/changelog vendored
View File

@ -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 <root@linuxmint.com> Fri, 17 Sep 2010 14:54:00 +0000
mintmenu (5.0.8) julia; urgency=low mintmenu (5.0.8) julia; urgency=low
* Added GTK Themes support and configuration * Added GTK Themes support and configuration

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

@ -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( "unmap-event", lambda *args: self.applet.set_state( gtk.STATE_NORMAL ) )
self.mainwin.window.connect( "size-allocate", lambda *args: self.positionMenu() ) 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 ) icon = iconManager.getIcon( self.mainwin.icon, 1 )
if icon: if icon:
gtk.window_set_default_icon( icon ) gtk.window_set_default_icon( icon )
@ -644,7 +646,7 @@ class MenuWin( object ):
style_settings = gtk.settings_get_default() style_settings = gtk.settings_get_default()
desktop_theme = self.gconf.get( "string", '/desktop/gnome/interface/gtk_theme', "") desktop_theme = self.gconf.get( "string", '/desktop/gnome/interface/gtk_theme', "")
if self.theme_name == "default": if self.theme_name == "default":
style_settings.set_property("gtk-theme-name", desktop_theme) style_settings.set_property("gtk-theme-name", desktop_theme)
else: else:
try: try:
style_settings.set_property("gtk-theme-name", self.theme_name) style_settings.set_property("gtk-theme-name", self.theme_name)