Tue, 30 Jan 2024 14:01:04 +0100 | Olaf Wintermann | implement window new button | changeset | files |
Tue, 30 Jan 2024 13:31:25 +0100 | Olaf Wintermann | update toolkit / set window size | changeset | files |
Tue, 30 Jan 2024 11:58:11 +0100 | Olaf Wintermann | don't change the path bar value if the new path is a prefix of the current path | changeset | files |