util/__init__.py
author Edouard Tisserant
Mon, 10 Aug 2020 14:00:20 +0200
branchsvghmi
changeset 3020 895bbeced72d
parent 742 41a4a560406c
permissions -rw-r--r--
SVGHMI: Update Slider widget so that it doesn't display future value but actual value only.