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