IDE: fix wxPython 3->4 API change leading to exception in type selection menu in CodeFileEditor
wxPython4
2022-09-13, Edouard Tisserant