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.
from __future__ import absolute_import
from svgui.pyjs.pyjs import *