Closed mksafavi closed 1 year ago
Hi. Some windows (like media player, browser) dynamically change their title. So the workspace name would be out of date without capturing change title events when wm_property = "name"
wm_property = "name"
before adding title change event:
after adding title change event:
Great! thanks for this :)
Hi. Some windows (like media player, browser) dynamically change their title. So the workspace name would be out of date without capturing change title events when
wm_property = "name"
before adding title change event:
after adding title change event: