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 |