Edouard Tisserant [Tue, 15 Nov 2022 09:29:48 +0100] rev 3681
SVGHMI: cosmetic change
Edouard Tisserant [Tue, 15 Nov 2022 09:22:50 +0100] rev 3680
SVGHMI: do not try to reconnect websocket if closed properly by server.
Edouard Tisserant <edouard.tisserant@gmail.com> [Sun, 20 Nov 2022 18:36:13 +0100] rev 3679
Tests: force bigger fonts and flat theme in GTK to make OCR more reliable.