changelog
- Tue, 07 Jun 2022 20:44:19 +0300
- by Teemu Piippo <teemu@hecknology.net> [Tue, 07 Jun 2022 20:44:19 +0300] rev 202
- Replaced the tab widget with an MDI area
- Tue, 07 Jun 2022 01:37:26 +0300
- by Teemu Piippo <teemu@hecknology.net> [Tue, 07 Jun 2022 01:37:26 +0300] rev 201
- Continue giant refactor
- Mon, 06 Jun 2022 22:01:22 +0300
- by Teemu Piippo <teemu@hecknology.net> [Mon, 06 Jun 2022 22:01:22 +0300] rev 200
- Giant refactor
- Wed, 25 May 2022 20:36:34 +0300
- by Teemu Piippo <teemu@hecknology.net> [Wed, 25 May 2022 20:36:34 +0300] rev 199
- Fix pick() picking from weird places on the screen with high DPI scaling
glReadPixels reads data from the frame buffer, which contains data after
high DPI scaling, so any reads to that need to take this scaling into account
- Wed, 25 May 2022 18:33:38 +0300
- by Teemu Piippo <teemu@hecknology.net> [Wed, 25 May 2022 18:33:38 +0300] rev 198
- fix up things and remove unnecessary code
- Wed, 25 May 2022 18:29:49 +0300
- by Teemu Piippo <teemu@hecknology.net> [Wed, 25 May 2022 18:29:49 +0300] rev 197
- move drawState to Document
- Wed, 25 May 2022 17:56:30 +0300
- by Teemu Piippo <teemu@hecknology.net> [Wed, 25 May 2022 17:56:30 +0300] rev 196
- delete unneeded things
