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. svghmi
Mon, 09 Mar 2020 13:43:34 +0100 Edouard Tisserant SVGHMI: fix wrong updates of HMI variables on each change, especially when not subscribed. svghmi
Mon, 09 Mar 2020 13:40:45 +0100 Edouard Tisserant SVGHMI: whitespaces svghmi