Sun, 12 Mar 2023 00:55:19 +0100 | Edouard Tisserant | IDE: fix exception when re-opening previously closed tab | changeset | files |
Sun, 12 Mar 2023 00:51:53 +0100 | Edouard Tisserant | IDE: fix again ruberband with gtk3. | changeset | files |
Fri, 10 Mar 2023 13:00:31 +0100 | Edouard Tisserant | Merged from default | changeset | files |