beremiz

SVGHMI: Add button element to HMI:DropDown, also fix problem with computed box margins.
svghmi
2020-04-14, Edouard Tisserant
90f9d9782632
SVGHMI: Add button element to HMI:DropDown, also fix problem with computed box margins.
/**
* No platform specific code for "Generic" target
**/