Sun, 23 May 2021 09:44:43 +0200 | Olaf Wintermann | refactor widget groups/document tree (Motif) | changeset | files |
Fri, 11 Dec 2020 11:47:30 +0100 | Olaf Wintermann | refactor widget groups | changeset | files |
Thu, 10 Dec 2020 13:42:25 +0100 | Olaf Wintermann | add new toolbar toggle button | changeset | files |