Thu, 12 Mar 2020 13:14:38 +0100 Edouard Tisserant SVGHMI: Stop ignoring HMI_NODE in HMI tree, and count it as a BOOL. Soon we use those nodes as reference for relative page jump, and as an "enable" bit for features associated to an HMI tree fragment. svghmi
Thu, 12 Mar 2020 09:33:20 +0100 Edouard Tisserant SVGHMI: cosmetic code moving svghmi
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