svghmi/widgetlib/spinctrl.svg
branchpython3
changeset 3776 1fbc900ca1ce
parent 3290 f0c97422b34a
equal deleted inserted replaced
3775:5780e7c13fd8 3776:1fbc900ca1ce