beremiz

beremiz/exemples/svghmi_jumps/svghmi_0@svghmi/
SVGHMI: fix input widget sometime messing with font style

2022-12-16, Edouard Tisserant
39ae17a1cabe