From 9c471564f83375cf149d53036bf5cc7fb7604745 Mon Sep 17 00:00:00 2001 From: Michael Webster Date: Sat, 20 Apr 2013 19:48:21 -0400 Subject: [PATCH] Fix bug where categories would stay selected until passed over again. --- usr/lib/linuxmint/mintMenu/plugins/applications.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/usr/lib/linuxmint/mintMenu/plugins/applications.py b/usr/lib/linuxmint/mintMenu/plugins/applications.py index b0eae5c..9c227cf 100755 --- a/usr/lib/linuxmint/mintMenu/plugins/applications.py +++ b/usr/lib/linuxmint/mintMenu/plugins/applications.py @@ -843,6 +843,7 @@ class pluginclass( object ): self.current_results = [] for i in self.categoriesBox.get_children(): + i.released() i.set_relief( Gtk.ReliefStyle.NONE ) allButton = self.categoriesBox.get_children()[0]; @@ -864,6 +865,7 @@ class pluginclass( object ): i.filterCategory( category ) for i in self.categoriesBox.get_children(): + i.released() i.set_relief( Gtk.ReliefStyle.NONE ) widget.set_relief( Gtk.ReliefStyle.HALF ) widget.grab_focus()