Edouard Tisserant <edouard.tisserant@gmail.com> [Tue, 20 Aug 2024 00:35:00 +0200] rev 3972
IDE: Workaround some reported WxPython/MacOS problems.
SetSelection should be used instead of SetStringSelection , and FindString must use case_sensitive=True
Edouard Tisserant <edouard.tisserant@gmail.com> [Tue, 20 Aug 2024 00:31:45 +0200] rev 3971
IDE: Fix search result not showing single occurrences
Edouard Tisserant <edouard.tisserant@gmail.com> [Sun, 18 Aug 2024 18:23:18 +0200] rev 3970
IDE: remove warning if editing location leads to no change
Edouard Tisserant <edouard.tisserant@gmail.com> [Tue, 20 Aug 2024 00:23:45 +0200] rev 3969
IDE: Use 8x8 grid by default