From d384a6278cda0f90e142bfad28ac7e4444cbd04e Mon Sep 17 00:00:00 2001 From: "Benjamin L. Campbell" Date: Mon, 30 Jun 2014 11:14:38 -0500 Subject: [PATCH] Fix space behavior. --- usr/lib/linuxmint/mintMenu/plugins/applications.py | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/usr/lib/linuxmint/mintMenu/plugins/applications.py b/usr/lib/linuxmint/mintMenu/plugins/applications.py index 766038b..28cae15 100755 --- a/usr/lib/linuxmint/mintMenu/plugins/applications.py +++ b/usr/lib/linuxmint/mintMenu/plugins/applications.py @@ -902,6 +902,11 @@ class pluginclass( object ): self.searchEntry.event( event ) return True + + if event.keyval == Gdk.KEY_space: + self.searchEntry.event( event ) + return True + if event.keyval == Gdk.KEY_Down and self.searchEntry.is_focus(): self.applicationsBox.get_children()[0].grab_focus()