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

Reinstated calls to grab(), needed to hide menu when desktop is clicked

Browse Source
This commit is contained in:
Clement Lefebvre 2009-11-19 09:46:59 +00:00
parent aaef795ec5
commit 506df64cdf
2 changed files with 9 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
debian/changelog vendored
View File

@ -1,3 +1,9 @@
mintmenu (4.8.8) helena; urgency=low
* Reinstated calls to mouse grabs (needed to hide the menu when desktop is clicked) and added a call to hide_window (found in USP)
-- Clement Lefebvre <root@linuxmint.com> Thu, 19 Nov 2009 09:44:00 +0000
mintmenu (4.8.7) helena; urgency=low
* Replaced xdg with gmenu (Fixes broken Games category)

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

@ -484,13 +484,14 @@ 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()
self.window.hide()
gtk.gdk.pointer_ungrab()
gtk.gdk.keyboard_ungrab()
def onMap( self, widget, event ):