Edouard Tisserant [Tue, 04 Oct 2022 11:04:33 +0200] rev 3627
SVGHMI: Add Assign widget, doing multiple assignments on click.
Edouard Tisserant [Thu, 29 Sep 2022 11:08:05 +0200] rev 3626
SVGHMI: add visible feedback to Jump widget when clicked/touched
Edouard Tisserant [Wed, 28 Sep 2022 09:19:07 +0200] rev 3625
SVGHMI: add support for "reference" and "frame" rectangles to spread-out ovelapping elements.
When HMI become complicated, designer needs to spread-out ovelapping elements
in order to unclutter drawing and facilitate maintenance.
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.
Edouard Tisserant [Wed, 21 Sep 2022 11:51:05 +0200] rev 3623
SVGHMI: cosmetic fix in js
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.