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 |