IDE: Fix missing highlighted element in diagrams when using GTK3
wxPython4
2023-03-08, Edouard Tisserant