IDE: fix again ruberband with gtk3.
wxPython4
2023-03-12, Edouard Tisserant