From 0294a20d5c407619181c9082c9cef0b22cfe9d6d Mon Sep 17 00:00:00 2001 From: clhodapp Date: Sun, 6 Sep 2009 21:20:07 -0500 Subject: [PATCH] Added height adjustment for Places --- .../linuxmint/mintMenu/mintMenuConfig.glade | 48 ++++++++++++++++++- usr/lib/linuxmint/mintMenu/mintMenuConfig.py | 2 + 2 files changed, 48 insertions(+), 2 deletions(-) diff --git a/usr/lib/linuxmint/mintMenu/mintMenuConfig.glade b/usr/lib/linuxmint/mintMenu/mintMenuConfig.glade index 74b824b..6a04728 100644 --- a/usr/lib/linuxmint/mintMenu/mintMenuConfig.glade +++ b/usr/lib/linuxmint/mintMenu/mintMenuConfig.glade @@ -837,6 +837,50 @@ True vertical + + + True + 3 + 5 + + + True + 4 + + + True + Height: + True + + + False + 0 + + + + + True + True + 5 + + False + 0 0 10000 1 10 10 + True + + + False + False + 2 + + + + + + + 4 + 0 + + True @@ -930,7 +974,7 @@ - 0 + 1 @@ -1090,7 +1134,7 @@ - 1 + 3 diff --git a/usr/lib/linuxmint/mintMenu/mintMenuConfig.py b/usr/lib/linuxmint/mintMenu/mintMenuConfig.py index 88b50e0..df46288 100755 --- a/usr/lib/linuxmint/mintMenu/mintMenuConfig.py +++ b/usr/lib/linuxmint/mintMenu/mintMenuConfig.py @@ -110,6 +110,7 @@ class mintMenuConfig( object ): self.desktoptoggle = wTree.get_widget( "desktopcheckbutton" ) self.trashtoggle = wTree.get_widget( "trashcheckbutton" ) self.customplacestree = wTree.get_widget( "customplacestree" ) + self.placesHeightBox = wTree.get_widget( "placesHeightSpinBox" ) self.editPlaceDialog = editTree.get_widget( "editPlaceDialog" ) self.editPlaceName = editTree.get_widget( "nameEntryBox" ) self.editPlacePath = editTree.get_widget( "pathEntryBox" ) @@ -153,6 +154,7 @@ class mintMenuConfig( object ): self.bindGconfValueToWidget( self.gconfPlaces, "bool", "show_network", self.networktoggle, "toggled", self.networktoggle.set_active, self.networktoggle.get_active ) self.bindGconfValueToWidget( self.gconfPlaces, "bool", "show_desktop", self.desktoptoggle, "toggled", self.desktoptoggle.set_active, self.desktoptoggle.get_active ) self.bindGconfValueToWidget( self.gconfPlaces, "bool", "show_trash", self.trashtoggle, "toggled", self.trashtoggle.set_active, self.trashtoggle.get_active ) + self.bindGconfValueToWidget( self.gconfPlaces, "int", "height", self.placesHeightBox, "value-changed", self.placesHeightBox.set_value, self.placesHeightBox.get_value_as_int ) self.customplacenames = self.gconfPlaces.get( "list-string", "custom_names", [ ] ) self.customplacepaths = self.gconfPlaces.get( "list-string", "custom_paths", [ ] )