From 4b7ec202caa32d87da850db15e0ddc8644fb7c5b Mon Sep 17 00:00:00 2001 From: Michael Webster Date: Mon, 20 May 2013 22:07:56 -0400 Subject: [PATCH] Some cleanup --- usr/lib/linuxmint/mintMenu/mintMenu.glade | 17 +++++++------ usr/lib/linuxmint/mintMenu/mintMenu.py | 2 +- usr/lib/linuxmint/mintMenu/mintMenu.ui | 29 ----------------------- 3 files changed, 9 insertions(+), 39 deletions(-) delete mode 100644 usr/lib/linuxmint/mintMenu/mintMenu.ui diff --git a/usr/lib/linuxmint/mintMenu/mintMenu.glade b/usr/lib/linuxmint/mintMenu/mintMenu.glade index dd97faa..641a9b8 100644 --- a/usr/lib/linuxmint/mintMenu/mintMenu.glade +++ b/usr/lib/linuxmint/mintMenu/mintMenu.glade @@ -1,8 +1,8 @@ - + - + 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 popup False @@ -11,19 +11,18 @@ True False False - - + True - + True - + - + - - + + diff --git a/usr/lib/linuxmint/mintMenu/mintMenu.py b/usr/lib/linuxmint/mintMenu/mintMenu.py index c6c50b0..536e3ea 100755 --- a/usr/lib/linuxmint/mintMenu/mintMenu.py +++ b/usr/lib/linuxmint/mintMenu/mintMenu.py @@ -78,7 +78,7 @@ class MainWindow( object ): self.toggle = toggleButton # Load UI file and extract widgets builder = Gtk.Builder() - builder.add_from_file(os.path.join( self.path, "mintMenu.ui" )) + builder.add_from_file(os.path.join( self.path, "mintMenu.glade" )) self.window = builder.get_object( "mainWindow" ) self.paneholder = builder.get_object( "paneholder" ) self.border = builder.get_object( "border" ) diff --git a/usr/lib/linuxmint/mintMenu/mintMenu.ui b/usr/lib/linuxmint/mintMenu/mintMenu.ui deleted file mode 100644 index a1a1b55..0000000 --- a/usr/lib/linuxmint/mintMenu/mintMenu.ui +++ /dev/null @@ -1,29 +0,0 @@ - - - - - - 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 - popup - False - menu - True - True - False - False - - - - True - - - True - - - - - - - - -