SVGHMI: explicit handling of undefined maximum widget update frequency
svghmi
2020-05-13, Edouard Tisserant