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

Patch for bug #809104 (https://bugs.launchpad.net/linuxmint/+bug/809104)

Browse Source
This commit is contained in:
Gwendal Le Bihan 2011-09-02 23:21:38 +02:00
parent 918c6fbed3
commit 2d4f2754ed
1 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -821,13 +821,16 @@ class pluginclass( object ):
#print "CATFILTER" #print "CATFILTER"
self.activeFilter = (1, category) self.activeFilter = (1, category)
if category == "": if category == "":
listedDesktopFiles = []
for i in self.applicationsBox.get_children(): for i in self.applicationsBox.get_children():
i.show_all() if not i.desktop_file_path in listedDesktopFiles:
listedDesktopFiles.append( i.desktop_file_path )
i.show_all()
else:
i.hide()
else: else:
for i in self.applicationsBox.get_children(): for i in self.applicationsBox.get_children():
i.filterCategory( category ) i.filterCategory( category )
for i in self.applicationsBox.get_children():
i.filterCategory( category )
for i in self.categoriesBox.get_children(): for i in self.categoriesBox.get_children():
i.set_relief( gtk.RELIEF_NONE ) i.set_relief( gtk.RELIEF_NONE )
@ -1687,6 +1690,7 @@ class pluginclass( object ):
item["button"].filterText( self.activeFilter[1] ) item["button"].filterText( self.activeFilter[1] )
else: else:
item["button"].filterCategory( self.activeFilter[1] ) item["button"].filterCategory( self.activeFilter[1] )
item["button"].desktop_file_path = item["entry"].get_desktop_file_path()
sortedApplicationList.append( ( item["button"].appName.upper(), item["button"] ) ) sortedApplicationList.append( ( item["button"].appName.upper(), item["button"] ) )
self.applicationList.append( item ) self.applicationList.append( item )
else: else: