Sun, 12 Mar 2023 00:55:19 +0100 Edouard Tisserant IDE: fix exception when re-opening previously closed tab wxPython4
Sun, 12 Mar 2023 00:51:53 +0100 Edouard Tisserant IDE: fix again ruberband with gtk3. wxPython4