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):
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
)
