beremiz

IDE: fix exception when re-opening previously closed tab
wxPython4
2022-10-21, Edouard Tisserant
d8dc29dfc344
IDE: fix exception when re-opening previously closed tab
/**
* No platform specific code for "Generic" target
**/