svghmi/widgetlib/spinctrl.svg
branchpython3
changeset 3777 a26453d1c54d
parent 3290 f0c97422b34a
equal deleted inserted replaced
3776:1fbc900ca1ce 3777:a26453d1c54d