search-menu: fix duplicate entries

applets/search-menu/__init__.py

@@ -244,6 +244,7 @@ class SearchMenu(panorama_panel.Applet):

                                
                                
                                
                            
                                
                                    
                                        
                                            244  
                                                    app_infos.sort(key=lambda app_info: app_info.get_display_name().lower())
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            245  
                                                    self.cached_buttons = []
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            246  
                                                    self.flowbox.remove_all()
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        247 +
                                                entries = set()
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            248  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            249  
                                                    for app_info in app_infos:
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            250  
                                                        app_categories = app_info.get_categories()
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        

@@ -251,6 +252,8 @@ class SearchMenu(panorama_panel.Applet):

                                
                                
                                
                            
                                
                                    
                                        
                                            252  
                                                            continue
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            253  
                                                        app_name = app_info.get_display_name()
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            254  
                                                        command = app_info.get_executable()
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        255 +
                                                    if (app_name, app_info.get_description(), command) in entries:
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        256 +
                                                        continue
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            257  
                                                        app_button = MenuItemButton(app_name, app_info.get_description(), command)
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            258  
                                                        app_button.execute = app_info.launch
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            259  
                                                        app_button.set_tooltip_text(app_name)
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        

@@ -281,3 +284,4 @@ class SearchMenu(panorama_panel.Applet):

                                
                                
                                
                            
                                
                                    
                                        
                                            284  
                                                        app_button.connect("clicked", self.app_button_clicked)
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            285  
                                                        app_button_box.prepend(image)
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            286  
                                                        self.cached_buttons.append(app_button)
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        287 +
                                                    entries.add((app_name, app_info.get_description(), command))