IDE: Workaround some reported WxPython/MacOS problems.

22 months ago, Edouard Tisserant