From 2d4f2754ed69c8bb8560d5f42bdd3152401b9aa6 Mon Sep 17 00:00:00 2001 From: Gwendal Le Bihan Date: Fri, 2 Sep 2011 23:21:38 +0200 Subject: [PATCH] Patch for bug #809104 (https://bugs.launchpad.net/linuxmint/+bug/809104) --- usr/lib/linuxmint/mintMenu/plugins/applications.py | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) diff --git a/usr/lib/linuxmint/mintMenu/plugins/applications.py b/usr/lib/linuxmint/mintMenu/plugins/applications.py index a900347..dea60bb 100755 --- a/usr/lib/linuxmint/mintMenu/plugins/applications.py +++ b/usr/lib/linuxmint/mintMenu/plugins/applications.py @@ -821,13 +821,16 @@ class pluginclass( object ): #print "CATFILTER" self.activeFilter = (1, category) if category == "": + listedDesktopFiles = [] 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: for i in self.applicationsBox.get_children(): i.filterCategory( category ) - for i in self.applicationsBox.get_children(): - i.filterCategory( category ) for i in self.categoriesBox.get_children(): i.set_relief( gtk.RELIEF_NONE ) @@ -1687,6 +1690,7 @@ class pluginclass( object ): item["button"].filterText( self.activeFilter[1] ) else: 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"] ) ) self.applicationList.append( item ) else: