Tue, 20 Aug 2024 00:35:00 +0200IDE: Workaround some reported WxPython/MacOS problems.
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