Wed, 13 May 2020 18:26:38 +0200SVGHMI: Back button updated to class style svghmi
Edouard Tisserant <edouard.tisserant@gmail.com> [Wed, 13 May 2020 18:26:38 +0200] rev 2958
SVGHMI: Back button updated to class style

Mon, 11 May 2020 11:33:00 +0200merge svghmi
Edouard Tisserant [Mon, 11 May 2020 11:33:00 +0200] rev 2957
merge

Mon, 11 May 2020 11:10:38 +0200DEBUG: (IDE side) fixed wrong implementation of anti-rapid-fire leading to systematic delay in subscribing svghmi
Edouard Tisserant [Mon, 11 May 2020 11:10:38 +0200] rev 2956
DEBUG: (IDE side) fixed wrong implementation of anti-rapid-fire leading to systematic delay in subscribing

Sun, 10 May 2020 23:40:43 +0200SVGHMI: Exclude non-widget HMI:* labeled elements from hmi_widget. Namely : HMI:Page HMI:Lang and HMI:List have been excluded. svghmi
Edouard Tisserant <edouard.tisserant@gmail.com> [Sun, 10 May 2020 23:40:43 +0200] rev 2955
SVGHMI: Exclude non-widget HMI:* labeled elements from hmi_widget. Namely : HMI:Page HMI:Lang and HMI:List have been excluded.

Sun, 10 May 2020 17:01:09 +0200SVGHMI: clean up dead code, update generated xslt. svghmi
Edouard Tisserant <edouard.tisserant@gmail.com> [Sun, 10 May 2020 17:01:09 +0200] rev 2954
SVGHMI: clean up dead code, update generated xslt.

Sun, 10 May 2020 16:36:41 +0200SVGHMI: apply per class overloading of sub/unsub to Jump widget svghmi
Edouard Tisserant <edouard.tisserant@gmail.com> [Sun, 10 May 2020 16:36:41 +0200] rev 2953
SVGHMI: apply per class overloading of sub/unsub to Jump widget

Sun, 10 May 2020 16:36:09 +0200SVGHMI: apply per class overloading of sub/unsub to ForEach widget svghmi
Edouard Tisserant <edouard.tisserant@gmail.com> [Sun, 10 May 2020 16:36:09 +0200] rev 2952
SVGHMI: apply per class overloading of sub/unsub to ForEach widget

Sun, 10 May 2020 16:34:44 +0200SVGHMI: Widget's specific sub/unsub traits are now wxpressed in widget's class. svghmi
Edouard Tisserant <edouard.tisserant@gmail.com> [Sun, 10 May 2020 16:34:44 +0200] rev 2951
SVGHMI: Widget's specific sub/unsub traits are now wxpressed in widget's class.