Wed, 27 Jul 2022 10:44:54 +0200 | Edouard Tisserant | IDE: fix primary buffer selection being reset on each write to console on X11. | changeset | files |
Mon, 25 Jul 2022 11:55:43 +0200 | Edouard Tisserant | test: IDE: Fix non repeatable select-all-delete in debug_project. | changeset | files |
Mon, 25 Jul 2022 11:51:41 +0200 | Edouard Tisserant | tests: Change OCR options to be more reliable on small fonts. | changeset | files |