| 4 | |
| 5 | I made a small discovery: It seems that, if I click the window title bar, the focus is not really moved. I need to instead click directly at the UI (decorations, text editor) in order for the keyboard focus to shift as well. |
| 6 | * I can do this within "the same focus event" (`2020-10-07 13:55:40,408 focus wid=6048 has_focus=6048` i.e. I don't need to click back-and-forth, just click at the correct place anytime). |
| 7 | * This also affects Alt+Tab focus (as if I had just clicked the window title bar). |
| 8 | * Does not work likewise (or rather does not fail) with e.g. Terminal windows |