- SVGHMI: explicit handling of undefined maximum widget update frequency svghmi 2020-05-13, by Edouard Tisserant
- SVGHMI: removed dead code svghmi 2020-05-13, by Edouard Tisserant
- SVGHMI: Back button updated to class style svghmi 2020-05-13, by Edouard Tisserant
- merge svghmi 2020-05-11, by Edouard Tisserant
- DEBUG: (IDE side) fixed wrong implementation of anti-rapid-fire leading to systematic delay in subscribing svghmi 2020-05-11, by Edouard Tisserant
- SVGHMI: Exclude non-widget HMI:* labeled elements from hmi_widget. Namely : HMI:Page HMI:Lang and HMI:List have been excluded. svghmi 2020-05-10, by Edouard Tisserant
- SVGHMI: clean up dead code, update generated xslt. svghmi 2020-05-10, by Edouard Tisserant
- SVGHMI: apply per class overloading of sub/unsub to Jump widget svghmi 2020-05-10, by Edouard Tisserant
- SVGHMI: apply per class overloading of sub/unsub to ForEach widget svghmi 2020-05-10, by Edouard Tisserant
- SVGHMI: Widget's specific sub/unsub traits are now wxpressed in widget's class. svghmi 2020-05-10, by Edouard Tisserant
- SVGHMI: Parameters common to all widget constructors now passed as ordered parameters. svghmi 2020-05-10, by Edouard Tisserant
- SVGHMI: One class per widget type, widget objects are instances of these classes, and members are passed through constructor. This allows to keep compatible with previous widget_defs template used in most widgets. svghmi 2020-05-08, by Edouard Tisserant
- SVGHMI: Add an exslt function to collect used widget types, in order to only include necessary JS definitions in furure changes. svghmi 2020-05-08, by Edouard Tisserant
- SVGHMI: Systematically output local name as /* comment */ when emiting content. svghmi 2020-05-08, by Edouard Tisserant
- Merge svghmi 2020-04-24, by Edouard Tisserant