Tue, 20 Aug 2024 01:13:14 +0200 Edouard Tisserant IDE: fix completion
Tue, 20 Aug 2024 00:35:00 +0200 Edouard Tisserant IDE: Workaround some reported WxPython/MacOS problems.
Tue, 20 Aug 2024 00:31:45 +0200 Edouard Tisserant IDE: Fix search result not showing single occurrences