Bug fix, preferences

2011-05-30 14:30:27 +01:00 · 2011-05-30 14:30:27 +01:00 · 0842274fbe
commit 0842274fbe
parent 28ec4116a2
2 changed files with 10 additions and 1 deletions
--- a/debian/changelog
+++ b/debian/changelog
@ -1,3 +1,9 @@
+mintmenu (5.2.1) katya; urgency=low
+  
+  * Bug fix, preferences now work as expected again.
+  
+ -- Clement Lefebvre <root@linuxmint.com>  Mon,  30 May 2011 14:30:00 +0000
+
 mintmenu (5.2.0) katya; urgency=low
  
  * Banshee replaces Rhythmbox in default favorites
--- a/usr/lib/linuxmint/mintMenu/mintMenuConfig.py
+++ b/usr/lib/linuxmint/mintMenu/mintMenuConfig.py
@ -359,6 +359,9 @@ class mintMenuConfig( object ):
            args[1]( gtk.gdk.color_parse( entry.get_value().get_string() ) )

    def callGetter( self, gconf, gconfType, gconfPath, getter ):
+        if (gconfType == "int"):
+            gconf.set( gconfType, gconfPath, int(getter()))
+        else:
            gconf.set( gconfType, gconfPath, getter())

    def toggleUseCustomColors( self, widget ):