jbah.skp/mintmenu
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fix bug where categories would stay selected until passed over again.

Browse Source
This commit is contained in:
Michael Webster 2013-04-20 19:48:21 -04:00
parent 84aa87727f
commit 9c471564f8
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
usr/lib/linuxmint/mintMenu/plugins/applications.py
View File

@ -843,6 +843,7 @@ class pluginclass( object ):
self.current_results = [] self.current_results = []
for i in self.categoriesBox.get_children(): for i in self.categoriesBox.get_children():
i.released()
i.set_relief( Gtk.ReliefStyle.NONE ) i.set_relief( Gtk.ReliefStyle.NONE )
allButton = self.categoriesBox.get_children()[0]; allButton = self.categoriesBox.get_children()[0];
@ -864,6 +865,7 @@ class pluginclass( object ):
i.filterCategory( category ) i.filterCategory( category )
for i in self.categoriesBox.get_children(): for i in self.categoriesBox.get_children():
i.released()
i.set_relief( Gtk.ReliefStyle.NONE ) i.set_relief( Gtk.ReliefStyle.NONE )
widget.set_relief( Gtk.ReliefStyle.HALF ) widget.set_relief( Gtk.ReliefStyle.HALF )
widget.grab_focus() widget.grab_focus()