SVGHMI: little fix in HMI:Button
svghmi
2020-08-25, Edouard Tisserant