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
Fri, 06 Mar 2020 14:43:03 +0100 Edouard Tisserant SVGHMI: fixed repeated error when Input widget is missing 'value' element svghmi
Fri, 06 Mar 2020 14:42:08 +0100 Edouard Tisserant SVGHMI: more decoupling in between UI related and the rest of JS code, still in the aim of enhancing robustness under heavy load. svghmi
Fri, 06 Mar 2020 09:35:08 +0100 Edouard Tisserant SVGHMI: use requestAnimationFrame to delegate rendering of updates from network. Should help prevent browser collapse leading to watchdog in case of overload. svghmi
Thu, 05 Mar 2020 13:54:29 +0100 Edouard Tisserant SVGHMI: Fix disapearing elements in case of nested detachable elements. svghmi