changelog
- Tue, 28 Jun 2022 14:20:08 +0300
- by Teemu Piippo <teemu.s.piippo@gmail.com> [Tue, 28 Jun 2022 14:20:08 +0300] rev 287
- Add scroll bars to the mdi area
- Tue, 28 Jun 2022 14:10:27 +0300
- by Teemu Piippo <teemu.s.piippo@gmail.com> [Tue, 28 Jun 2022 14:10:27 +0300] rev 286
- Disable language changing for now (translations won't go into 1.0)
- Tue, 28 Jun 2022 13:03:21 +0300
- by Teemu Piippo <teemu.s.piippo@gmail.com> [Tue, 28 Jun 2022 13:03:21 +0300] rev 285
- Don't create more than one settings editor
