SVGHMI: now generating JS object describing widgets and pointing to SVG elements
svghmi
2019-10-07, Edouard Tisserant