2020-12-07SVGHMI: cosmetic fixes in button widget svghmi
Edouard Tisserant [Mon, 07 Dec 2020 09:49:34 +0100] rev 3086
SVGHMI: cosmetic fixes in button widget