svghmi/widgetlib/spinctrl.svg
changeset 3353 962b8ea41c5e
parent 3290 f0c97422b34a