IDE: fix primary buffer selection being reset on each write to console on X11.
wxPython4
2022-07-27, Edouard Tisserant