Thu, 17 Nov 2022 11:08:36 +0100 Edouard Tisserant IDE: Optimization of modification events processing in text editors.
Tue, 15 Nov 2022 09:29:48 +0100 Edouard Tisserant SVGHMI: cosmetic change
Tue, 15 Nov 2022 09:22:50 +0100 Edouard Tisserant SVGHMI: do not try to reconnect websocket if closed properly by server.