changelog
- Tue, 28 Jun 2022 12:29:38 +0300
- by Teemu Piippo <teemu.s.piippo@gmail.com> [Tue, 28 Jun 2022 12:29:38 +0300] rev 283
- Make settings editor scrollable
- Tue, 28 Jun 2022 12:18:00 +0300
- by Teemu Piippo <teemu.s.piippo@gmail.com> [Tue, 28 Jun 2022 12:18:00 +0300] rev 282
- Make settings editor a sub window instead of a dialog