def focus(self, win): old = self.lastfocus if old and self.property_name: old.window.set_property(self.property_name, self.property_small, "STRING", format=8) SingleWindow.focus(self, win) if self.property_name: win = self.clients[0] win.window.set_property(self.property_name, self.property_big, "STRING", format=8) self.lastfocus = win
def focus(self, win): if self.focused and self.property_name: self.focused.window.set_property(self.property_name, self.property_small, "STRING", format=8) SingleWindow.focus(self, win) if self.property_name: self.focused = win win.window.set_property(self.property_name, self.property_big, "STRING", format=8)
def focus(self, win): if self.focused and self.property_name: self.focused.window.set_property( self.property_name, self.property_small, "STRING", format=8 ) SingleWindow.focus(self, win) if self.property_name: self.focused = win win.window.set_property( self.property_name, self.property_big, "STRING", format=8 )