- SVGHMI: cosmetic code moving svghmi 2020-03-12, by 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 2020-03-10, by Edouard Tisserant
- SVGHMI: fix wrong updates of HMI variables on each change, especially when not subscribed. svghmi 2020-03-09, by Edouard Tisserant
- SVGHMI: whitespaces svghmi 2020-03-09, by Edouard Tisserant
- SVGHMI: fixed repeated error when Input widget is missing 'value' element svghmi 2020-03-06, by 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 2020-03-06, by 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 2020-03-06, by Edouard Tisserant