By using this site, you agree to have cookies stored on your device, strictly for functional purposes, such as storing your session and preferences.

Dismiss

soreaus-menu: make it case-insensitive

roundabout,
created on Wednesday, 20 August 2025, 15:42:41 (1755704561), received on Wednesday, 20 August 2025, 15:42:43 (1755704563)
Author identity: Vlad <vlad.muntoiu@gmail.com>

532132c512c95a5066d23d06f8cd6a908689203e

applets/soreaus-menu/__init__.py

@@ -230,7 +230,7 @@ class SoreausMenu(panorama_panel.Applet):

                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                                def populate_menu_entries(self):
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                                    if self.search_entry.get_text():
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                                    desktop_names = Gio.DesktopAppInfo.search(self.search_entry.get_text())
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                                    desktop_names = Gio.DesktopAppInfo.search(self.search_entry.get_text().lower())
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            
                                                        app_infos = []