From 8ba93f9eefb651f84b87fd1bb76d5af8b5ff386e 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 5d82990..2ca7ed2 100755 --- a/usr/lib/linuxmint/mintMenu/plugins/applications.py +++ b/usr/lib/linuxmint/mintMenu/plugins/applications.py @@ -906,6 +906,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()