Wed, 27 Jul 2022 10:44:54 +0200IDE: fix primary buffer selection being reset on each write to console on X11. wxPython4
Edouard Tisserant <edouard.tisserant@gmail.com> [Wed, 27 Jul 2022 10:44:54 +0200] rev 3564
IDE: fix primary buffer selection being reset on each write to console on X11.

This problem was making debug_project IDE test randomly failing

Mon, 25 Jul 2022 11:55:43 +0200test: IDE: Fix non repeatable select-all-delete in debug_project. wxPython4
Edouard Tisserant <edouard.tisserant@gmail.com> [Mon, 25 Jul 2022 11:55:43 +0200] rev 3563
test: IDE: Fix non repeatable select-all-delete in debug_project.

Mon, 25 Jul 2022 11:51:41 +0200tests: Change OCR options to be more reliable on small fonts. wxPython4
Edouard Tisserant <edouard.tisserant@gmail.com> [Mon, 25 Jul 2022 11:51:41 +0200] rev 3562
tests: Change OCR options to be more reliable on small fonts.