From 7df225c81f8ecc25ac0b96e8f0b5892500c0435a Mon Sep 17 00:00:00 2001 From: hordepfo Date: Tue, 6 May 2014 22:05:14 +0100 Subject: [PATCH] Simple fix for the flickering. --- usr/lib/linuxmint/mintMenu/mintMenu.py | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/usr/lib/linuxmint/mintMenu/mintMenu.py b/usr/lib/linuxmint/mintMenu/mintMenu.py index 1121fd5..5b2f215 100755 --- a/usr/lib/linuxmint/mintMenu/mintMenu.py +++ b/usr/lib/linuxmint/mintMenu/mintMenu.py @@ -506,6 +506,8 @@ class MenuWin( object ): self.mainwin = MainWindow( self.button_box, self.settings, self.keybinder ) self.mainwin.window.connect( "map-event", self.onWindowMap ) self.mainwin.window.connect( "unmap-event", self.onWindowUnmap ) + self.mainwin.window.connect( "enter-notify-event", self.onWindowEnter ) + self.mainwin.window.connect( "leave-notify-event", self.onWindowLeave ) self.mainwin.window.connect( "realize", self.onRealize ) self.mainwin.window.connect( "size-allocate", lambda *args: self.positionMenu() ) @@ -534,6 +536,14 @@ class MenuWin( object ): self.pointerMonitor.ungrabPointer() return False + def onWindowEnter(self, applet, event): + self.pointerMonitor.ungrabPointer() + return False + + def onWindowLeave(self, applet, event): + self.pointerMonitor.grabPointer() + return False + def onRealize( self, *args): self.pointerMonitor.addWindowToMonitor( self.mainwin.window.window ) self.pointerMonitor.addWindowToMonitor( self.applet.window )