From 932ada9c48f644747816d1bf29efb96114b92349 Mon Sep 17 00:00:00 2001 From: Clement Lefebvre Date: Thu, 19 Nov 2009 01:09:45 +0000 Subject: [PATCH] Could this fix the Mouse grabbing problem? --- usr/lib/linuxmint/mintMenu/mintMenu.py | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/usr/lib/linuxmint/mintMenu/mintMenu.py b/usr/lib/linuxmint/mintMenu/mintMenu.py index 186f797..67af12b 100755 --- a/usr/lib/linuxmint/mintMenu/mintMenu.py +++ b/usr/lib/linuxmint/mintMenu/mintMenu.py @@ -485,13 +485,13 @@ class MainWindow( object ): self.plugins["applications"].focusSearchEntry() def grab( self ): - gtk.gdk.pointer_grab( self.window.window, True, gtk.gdk.BUTTON_PRESS_MASK ) + #gtk.gdk.pointer_grab( self.window.window, True, gtk.gdk.BUTTON_PRESS_MASK ) gtk.gdk.keyboard_grab( self.window.window, False ) self.window.grab_add() def ungrab( self ): self.window.grab_remove() - gtk.gdk.pointer_ungrab() + #gtk.gdk.pointer_ungrab() gtk.gdk.keyboard_ungrab() def onMap( self, widget, event ):