Wed, 25 May 2022 20:36:34 +0300 | Teemu Piippo | Fix pick() picking from weird places on the screen with high DPI scaling | changeset | files |
Wed, 25 May 2022 18:33:38 +0300 | Teemu Piippo | fix up things and remove unnecessary code | changeset | files |
Wed, 25 May 2022 18:29:49 +0300 | Teemu Piippo | move drawState to Document | changeset | files |