Tue, 10 Mar 2020 13:57:29 +0100 | Edouard Tisserant | SVGHMI: split page switch into switching subscription and switching elements in the DOM, to ensure that subscriptions have been send before changing DOM, and avoid some flicker. | changeset | files |
Mon, 09 Mar 2020 13:43:34 +0100 | Edouard Tisserant | SVGHMI: fix wrong updates of HMI variables on each change, especially when not subscribed. | changeset | files |
Mon, 09 Mar 2020 13:40:45 +0100 | Edouard Tisserant | SVGHMI: whitespaces | changeset | files |