Wed, 08 Mar 2023 23:18:41 +0100 Edouard Tisserant IDE: Fix missing highlighted element in diagrams when using GTK3 wxPython4