util/__init__.py
author dgaberscek
Tue, 26 May 2020 10:53:02 +0200
branchsvghmi
changeset 2976 99c4521bb844
parent 742 41a4a560406c
permissions -rw-r--r--
SVGHMI: Changed widget button handler to element attribute.