From 2ea8e07a2741ea5be36a2516ff0f09ede1dcdb64 Mon Sep 17 00:00:00 2001 From: Clement Lefebvre Date: Wed, 4 Nov 2015 01:23:00 +0000 Subject: [PATCH] Fine-tuned border widths and padding --- usr/lib/linuxmint/mintMenu/mintMenu.glade | 6 ++- usr/lib/linuxmint/mintMenu/mintMenu.py | 3 +- .../mintMenu/plugins/applications.glade | 5 +++ .../linuxmint/mintMenu/plugins/places.glade | 14 +++--- .../linuxmint/mintMenu/plugins/recent.glade | 45 ++++++++++++++----- .../mintMenu/plugins/system_management.glade | 20 ++++++--- 6 files changed, 68 insertions(+), 25 deletions(-) diff --git a/usr/lib/linuxmint/mintMenu/mintMenu.glade b/usr/lib/linuxmint/mintMenu/mintMenu.glade index c8ef20d..b29b943 100644 --- a/usr/lib/linuxmint/mintMenu/mintMenu.glade +++ b/usr/lib/linuxmint/mintMenu/mintMenu.glade @@ -1,10 +1,10 @@ - + + False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK | GDK_KEY_PRESS_MASK | GDK_KEY_RELEASE_MASK - toplevel False menu True @@ -14,9 +14,11 @@ True + False True + False diff --git a/usr/lib/linuxmint/mintMenu/mintMenu.py b/usr/lib/linuxmint/mintMenu/mintMenu.py index 499ba70..9abbf77 100755 --- a/usr/lib/linuxmint/mintMenu/mintMenu.py +++ b/usr/lib/linuxmint/mintMenu/mintMenu.py @@ -569,7 +569,7 @@ class MenuWin( object ): def createPanelButton( self ): self.button_icon = Gtk.Image.new_from_file( self.buttonIcon ) - self.systemlabel = Gtk.Label(label= self.buttonText ) + self.systemlabel = Gtk.Label(label= "%s " % self.buttonText ) if os.path.exists("/etc/linuxmint/info"): import commands tooltip = commands.getoutput("cat /etc/linuxmint/info | grep DESCRIPTION") @@ -597,6 +597,7 @@ class MenuWin( object ): self.button_box.pack_start( self.button_icon , False, False, 0) self.button_icon.set_padding( 0, 5 ) + self.button_box.set_homogeneous( False ) self.button_box.show_all() self.sizeButton() diff --git a/usr/lib/linuxmint/mintMenu/plugins/applications.glade b/usr/lib/linuxmint/mintMenu/plugins/applications.glade index 1ccdf96..3986a83 100644 --- a/usr/lib/linuxmint/mintMenu/plugins/applications.glade +++ b/usr/lib/linuxmint/mintMenu/plugins/applications.glade @@ -29,6 +29,8 @@ True False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK + 3 + 3 True @@ -150,6 +152,8 @@ True False + 3 + 3 True @@ -297,6 +301,7 @@ True False + 6 diff --git a/usr/lib/linuxmint/mintMenu/plugins/places.glade b/usr/lib/linuxmint/mintMenu/plugins/places.glade index f1801f6..569388c 100644 --- a/usr/lib/linuxmint/mintMenu/plugins/places.glade +++ b/usr/lib/linuxmint/mintMenu/plugins/places.glade @@ -1,10 +1,11 @@ - + - + False - + 3 + True @@ -13,11 +14,12 @@ True True + 3 automatic automatic - - - + + + True diff --git a/usr/lib/linuxmint/mintMenu/plugins/recent.glade b/usr/lib/linuxmint/mintMenu/plugins/recent.glade index 495425a..a567995 100644 --- a/usr/lib/linuxmint/mintMenu/plugins/recent.glade +++ b/usr/lib/linuxmint/mintMenu/plugins/recent.glade @@ -1,32 +1,41 @@ - - + + + + False + 3 window1 True + False 5 True + False + 3 True + False False True True - GTK_POLICY_AUTOMATIC - GTK_POLICY_AUTOMATIC + automatic + automatic True + False True - GTK_BUTTONBOX_START + False + start @@ -39,6 +48,7 @@ True + False Applications @@ -49,25 +59,31 @@ True False - GTK_POLICY_AUTOMATIC - GTK_POLICY_AUTOMATIC + automatic + automatic True - GTK_SHADOW_NONE + False + none True - GTK_BUTTONBOX_START + False + start + + 1 + True + False Documents @@ -76,19 +92,26 @@ + + True + True + 0 + + gtk-clear True True True GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK - gtk-clear + False True - + False + True 1 diff --git a/usr/lib/linuxmint/mintMenu/plugins/system_management.glade b/usr/lib/linuxmint/mintMenu/plugins/system_management.glade index 467c4d9..31bc2ce 100644 --- a/usr/lib/linuxmint/mintMenu/plugins/system_management.glade +++ b/usr/lib/linuxmint/mintMenu/plugins/system_management.glade @@ -1,41 +1,51 @@ - + - + False + 3 + True + False True True + 3 automatic automatic - - - + + + True + False none True + False True + False GDK_POINTER_MOTION_MASK | GDK_POINTER_MOTION_HINT_MASK | GDK_BUTTON_PRESS_MASK | GDK_BUTTON_RELEASE_MASK 2 + True + True 0 True + False start