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 |
Wed, 21 Sep 2022 11:41:28 +0200 | Edouard Tisserant | SVGHMI: do not discard out-of-page elements inside widgets that are ovelapping pages. | changeset | files |