Tue, 20 Aug 2024 00:35:00 +0200 | Edouard Tisserant | IDE: Workaround some reported WxPython/MacOS problems. | changeset | files |
Tue, 20 Aug 2024 00:31:45 +0200 | Edouard Tisserant | IDE: Fix search result not showing single occurrences | changeset | files |
Sun, 18 Aug 2024 18:23:18 +0200 | Edouard Tisserant | IDE: remove warning if editing location leads to no change | changeset | files |
Tue, 20 Aug 2024 00:23:45 +0200 | Edouard Tisserant | IDE: Use 8x8 grid by default | changeset | files |