The new window switcher brings significant improvements. Thanks, Andreas!
There are still a few bugs or feature requests on my end.
This option
shows this
Basically, I don't think anyone who wants to keep this window open all the time would want it that big. “Small” on the screen wheel seems more likely to me.
And: Would it be possible to make the main window dynamic, so that its size automatically adjusts to the number of windows? Multiple lines would be handy. With the current layout, the windows are "cut off".
