svghmi/widgetlib/spinctrl.svg
branchpython3
changeset 3772 ec2babbd5698
parent 3290 f0c97422b34a
equal deleted inserted replaced
3771:67a0df6478b3 3772:ec2babbd5698