| commit | 17c0f5d3dbc71d4acf0607c23f54e6519bcea40f | |
| author | Jiri Svoboda <jiri@wiwaxia> | |
| Thu, 5 Jan 2023 19:28:22 +0000 (5 20:28 +0100) | ||
| committer | Jiri Svoboda <jiri@wiwaxia> | |
| Thu, 5 Jan 2023 19:28:22 +0000 (5 20:28 +0100) | ||
| tree | ba3bda9bcb21dd0ed403e4d23050d4da84343dd1 | treesnapshot (tar.gz zip) |
| parent | 5d86797880f0b93e7e77968366d64df9d54722c0 | commitdiff |
Switch to another window when window is minimized
And do it properly. Never switch to a minimized window. Only switch to
a system window (Task bar) when no other is available.
And do it properly. Never switch to a minimized window. Only switch to
a system window (Task bar) when no other is available.