From 506ab67fa4d0db8d14c2eca57bd68c7c20167bae Mon Sep 17 00:00:00 2001 From: Clement Lefebvre Date: Wed, 4 Nov 2015 00:55:31 +0000 Subject: [PATCH] Add a frame around the menu --- usr/lib/linuxmint/mintMenu/mintMenu.py | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/usr/lib/linuxmint/mintMenu/mintMenu.py b/usr/lib/linuxmint/mintMenu/mintMenu.py index 72656f0..499ba70 100755 --- a/usr/lib/linuxmint/mintMenu/mintMenu.py +++ b/usr/lib/linuxmint/mintMenu/mintMenu.py @@ -76,6 +76,8 @@ class MainWindow( object ): builder = Gtk.Builder() builder.add_from_file(os.path.join( self.path, "mintMenu.glade" )) self.window = builder.get_object( "mainWindow" ) + self.window.realize() + self.window.window.set_decorations(Gdk.WMDecoration.BORDER) self.paneholder = builder.get_object( "paneholder" ) self.border = builder.get_object( "border" ) @@ -525,13 +527,13 @@ class MenuWin( object ): def onWindowMap( self, *args ): self.applet.set_state( Gtk.StateType.SELECTED ) self.keybinder.set_focus_window( self.mainwin.window.window ) - self.pointerMonitor.grabPointer() + #self.pointerMonitor.grabPointer() return False def onWindowUnmap( self, *args ): self.applet.set_state( Gtk.StateType.NORMAL ) self.keybinder.set_focus_window() - self.pointerMonitor.ungrabPointer() + #self.pointerMonitor.ungrabPointer() return False def onRealize( self, *args):