Thu, 17 Nov 2022 11:08:36 +0100IDE: Optimization of modification events processing in text editors.
Edouard Tisserant [Thu, 17 Nov 2022 11:08:36 +0100] rev 3682
IDE: Optimization of modification events processing in text editors.

Too many modifications types where registered, and then too many events were fired.
Also, in case of uninterrupted sequence of events, updates to the model is deferred to the end of that sequence (wx.Callafter).

Tue, 15 Nov 2022 09:29:48 +0100SVGHMI: cosmetic change
Edouard Tisserant [Tue, 15 Nov 2022 09:29:48 +0100] rev 3681
SVGHMI: cosmetic change

Tue, 15 Nov 2022 09:22:50 +0100SVGHMI: do not try to reconnect websocket if closed properly by server.
Edouard Tisserant [Tue, 15 Nov 2022 09:22:50 +0100] rev 3680
SVGHMI: do not try to reconnect websocket if closed properly by server.

Sun, 20 Nov 2022 18:36:13 +0100Tests: force bigger fonts and flat theme in GTK to make OCR more reliable. wxPython4
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.