Mon, 20 Jun 2022 22:21:53 +0300 | Teemu Piippo | fix typo | changeset | files |
Mon, 20 Jun 2022 21:49:39 +0300 | Teemu Piippo | some improvements to dock widget handling | changeset | files |
Mon, 20 Jun 2022 21:14:27 +0300 | Teemu Piippo | removed some newlines | changeset | files |