Wed, 13 May 2020 22:25:22 +0200SVGHMI: more Widget properties declared ES6 style. svghmi
Edouard Tisserant <edouard.tisserant@gmail.com> [Wed, 13 May 2020 22:25:22 +0200] rev 2963
SVGHMI: more Widget properties declared ES6 style.