10:55:00ludstonThat makes more sense. It must have been a hairy change though. I imagine that you had to re-write a lot of the demo code to make it work
10:58:38ludstonOh never mind. This PR is not removing the multiple event loops.
11:08:48ludstonI hope you find it gratifying to know that your PR to fix focus was almost identical to what mine was going to be
11:10:36ludstonWhich I'm leery about to be honest, because it might swing too far the other way and strip focus unnecessarily
11:41:13ludstonOk, I've played around with improve-click-to-focus, and that has not been a problem
11:42:53ludstonI'm going to extend this PR, because it does not aggressively remove focus when clicking on un-focussable UI components
11:45:50ludstonAdditionally, spawning new windows and clicking between different windows seems to raise multiple focus events, which is just aesthetic but could be a problem some day.