SVGHMI: Add a robust ScrollBar widget. HMI:ScrollBar@positionrange@size
svghmi
2021-02-12, Edouard Tisserant