IDE: fix exception when re-opening previously closed tab
wxPython4
2023-03-12, Edouard Tisserant