Thu, 22 Sep 2022 09:42:38 +0200SVGHMI: remove intermediate "updates" Map and apply_updates()
Edouard Tisserant [Thu, 22 Sep 2022 09:42:38 +0200] rev 3624
SVGHMI: remove intermediate "updates" Map and apply_updates()

It was used initially to decouple DOM updates from reception of data through
websocket, but now since all widget SHOULD use animate() to modify DOM, and
dispatch() only change internal state, apply_update is unnecessary.

Wed, 21 Sep 2022 11:51:05 +0200SVGHMI: cosmetic fix in js
Edouard Tisserant [Wed, 21 Sep 2022 11:51:05 +0200] rev 3623
SVGHMI: cosmetic fix in js

Wed, 21 Sep 2022 11:41:28 +0200SVGHMI: do not discard out-of-page elements inside widgets that are ovelapping pages.
Edouard Tisserant [Wed, 21 Sep 2022 11:41:28 +0200] rev 3622
SVGHMI: do not discard out-of-page elements inside widgets that are ovelapping pages.

Fri, 16 Sep 2022 09:03:59 +0200SVGHMI: update generated XSLT
Edouard Tisserant [Fri, 16 Sep 2022 09:03:59 +0200] rev 3621
SVGHMI: update generated XSLT

Wed, 05 Oct 2022 20:44:01 +0200OPCUA: cosmetic fixes wxPython4
Edouard Tisserant <edouard.tisserant@gmail.com> [Wed, 05 Oct 2022 20:44:01 +0200] rev 3620
OPCUA: cosmetic fixes

Wed, 05 Oct 2022 20:25:58 +0200CLI: poll runtime log and output new entries to stdout. wxPython4
Edouard Tisserant <edouard.tisserant@gmail.com> [Wed, 05 Oct 2022 20:25:58 +0200] rev 3619
CLI: poll runtime log and output new entries to stdout.

Wed, 05 Oct 2022 20:15:28 +0200CLI: when using --keep, do not disconnect before being interrupted wxPython4
Edouard Tisserant <edouard.tisserant@gmail.com> [Wed, 05 Oct 2022 20:15:28 +0200] rev 3618
CLI: when using --keep, do not disconnect before being interrupted