From 0842274fbe1cce4fd31dcda31e00043d5fb2bf24 Mon Sep 17 00:00:00 2001 From: Clement Lefebvre Date: Mon, 30 May 2011 14:30:27 +0100 Subject: [PATCH] Bug fix, preferences --- debian/changelog | 6 ++++++ usr/lib/linuxmint/mintMenu/mintMenuConfig.py | 5 ++++- 2 files changed, 10 insertions(+), 1 deletion(-) diff --git a/debian/changelog b/debian/changelog index 2ff17c7..e5a548e 100644 --- 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 Mon, 30 May 2011 14:30:00 +0000 + mintmenu (5.2.0) katya; urgency=low * Banshee replaces Rhythmbox in default favorites diff --git a/usr/lib/linuxmint/mintMenu/mintMenuConfig.py b/usr/lib/linuxmint/mintMenu/mintMenuConfig.py index 45f0b67..7389cb7 100755 --- a/usr/lib/linuxmint/mintMenu/mintMenuConfig.py +++ b/usr/lib/linuxmint/mintMenu/mintMenuConfig.py @@ -359,7 +359,10 @@ class mintMenuConfig( object ): args[1]( gtk.gdk.color_parse( entry.get_value().get_string() ) ) def callGetter( self, gconf, gconfType, gconfPath, getter ): - gconf.set( gconfType, gconfPath, getter() ) + if (gconfType == "int"): + gconf.set( gconfType, gconfPath, int(getter())) + else: + gconf.set( gconfType, gconfPath, getter()) def toggleUseCustomColors( self, widget ): self.backgroundColor.set_sensitive( widget.get_active() )