From 856addf5b8ab895d02c6aa9c01b54044ff68eaaf Mon Sep 17 00:00:00 2001 From: gm10 <13855078+gm10@users.noreply.github.com> Date: Sat, 19 Jan 2019 12:47:09 +0100 Subject: [PATCH] further fix and simplify the keypress handler --- .../linuxmint/mintMenu/plugins/applications.py | 16 ++-------------- 1 file changed, 2 insertions(+), 14 deletions(-) diff --git a/usr/lib/linuxmint/mintMenu/plugins/applications.py b/usr/lib/linuxmint/mintMenu/plugins/applications.py index 1665329..cb4fd45 100755 --- a/usr/lib/linuxmint/mintMenu/plugins/applications.py +++ b/usr/lib/linuxmint/mintMenu/plugins/applications.py @@ -843,23 +843,11 @@ class pluginclass( object ): self.searchEntry.set_text( "" ) self.Filter( widget, category ) - # Forward all text to the search box def keyPress( self, widget, event ): - - if event.string.strip() != "" or event.keyval == Gdk.KEY_BackSpace: - self.searchEntry.grab_focus() - self.searchEntry.set_position( -1 ) + """ Forward all text to the search box """ + if event.string.strip() or event.keyval == Gdk.KEY_space: 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() - return False def favPopup( self, widget, event ):