graph
-
Replaced the tab widget with an MDI area2022-06-07, by Teemu Piippo
-
Continue giant refactor2022-06-06, by Teemu Piippo
-
Giant refactor2022-06-06, by Teemu Piippo
-
Fix pick() picking from weird places on the screen with high DPI scaling2022-05-25, by Teemu Piippo
-
fix up things and remove unnecessary code2022-05-25, by Teemu Piippo
-
move drawState to Document2022-05-25, by Teemu Piippo
-
delete unneeded things2022-05-25, by Teemu Piippo
-
added a missing const2022-05-25, by Teemu Piippo
