shortlog
| Thu, 31 Jul 2025 20:40:48 +0200 | Mike Becker | handle the edge-case when a viewport vanishes | changeset | files |
| Wed, 30 Jul 2025 00:12:13 +0200 | Mike Becker | improve the conditional setting of flags | changeset | files |
| Mon, 28 Jul 2025 23:11:30 +0200 | Mike Becker | make initial window size depend on UI scaling factor | changeset | files |
