Tue, 14 Apr 2020 12:07:08 +0200 Edouard Tisserant SVGHMI: Add button element to HMI:DropDown, also fix problem with computed box margins. svghmi