Tue, 07 Jun 2022 20:44:19 +0300 Teemu Piippo Replaced the tab widget with an MDI area changeset | files
Tue, 07 Jun 2022 01:37:26 +0300 Teemu Piippo Continue giant refactor changeset | files
Mon, 06 Jun 2022 22:01:22 +0300 Teemu Piippo Giant refactor changeset | files
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
(0) -100 -30 -10 -4 +4 +10 +30 +100 tip

mercurial