Remove closed windows from wayfire ID dictionary

applets/wf-window-list/__init__.py

@@ -515,11 +515,13 @@ class WFWindowList(panorama_panel.Applet):

                                
                                
                                
                            
                                
                                    
                                        
                                            515  
                                                                self.toplevel_buttons_by_wf_id[int(app_id.removeprefix("wf-ipc-"))] = button
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            516  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            517  
                                                def on_closed(self, handle):
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        518 +
                                                button: WindowButton = self.toplevel_buttons[handle]
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        519 +
                                                wf_id = button.wf_ipc_id
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            520  
                                                    if handle in self.toplevel_buttons:
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            521  
                                                        self.remove(self.toplevel_buttons[handle])
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            522  
                                                        self.toplevel_buttons.pop(handle)
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        521 -
                                                if handle in self.toplevel_buttons_by_wf_id:
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        522 -
                                                    self.toplevel_buttons_by_wf_id.pop(handle)
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        523 +
                                                if wf_id in self.toplevel_buttons_by_wf_id:
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        524 +
                                                    self.toplevel_buttons_by_wf_id.pop(wf_id)
                                        
                                        
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            525  
                                            
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            526  
                                                    self.set_all_rectangles()
                                        
                                        
                                            
                                            
                                            
                                            
                                        
                                    
                                
                                
                                
                            
                                
                                    
                                        
                                            527