Thu, 29 Sep 2022 11:08:05 +0200 Edouard Tisserant SVGHMI: add visible feedback to Jump widget when clicked/touched
Wed, 28 Sep 2022 09:19:07 +0200 Edouard Tisserant SVGHMI: add support for "reference" and "frame" rectangles to spread-out ovelapping elements.
Thu, 22 Sep 2022 09:42:38 +0200 Edouard Tisserant SVGHMI: remove intermediate "updates" Map and apply_updates()