jbah.skp/mintmenu
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Could this fix the Mouse grabbing problem?

Browse Source
This commit is contained in:
Clement Lefebvre 2009-11-19 01:09:45 +00:00
parent 224f0f159f
commit 932ada9c48
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
usr/lib/linuxmint/mintMenu/mintMenu.py
View File

@ -485,13 +485,13 @@ class MainWindow( object ):
self.plugins["applications"].focusSearchEntry() self.plugins["applications"].focusSearchEntry()
def grab( self ): 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 ) gtk.gdk.keyboard_grab( self.window.window, False )
self.window.grab_add() self.window.grab_add()
def ungrab( self ): def ungrab( self ):
self.window.grab_remove() self.window.grab_remove()
gtk.gdk.pointer_ungrab() #gtk.gdk.pointer_ungrab()
gtk.gdk.keyboard_ungrab() gtk.gdk.keyboard_ungrab()
def onMap( self, widget, event ): def onMap( self, widget, event ):