| Thu, 17 Nov 2022 11:08:36 +0100 | Edouard Tisserant | IDE: Optimization of modification events processing in text editors. | changeset | files |
| Tue, 15 Nov 2022 09:29:48 +0100 | Edouard Tisserant | SVGHMI: cosmetic change | changeset | files |
| Tue, 15 Nov 2022 09:22:50 +0100 | Edouard Tisserant | SVGHMI: do not try to reconnect websocket if closed properly by server. | changeset | files |
| Sun, 20 Nov 2022 18:36:13 +0100 | Edouard Tisserant | Tests: force bigger fonts and flat theme in GTK to make OCR more reliable. | changeset | files |