images/Repair.png
author Edouard Tisserant
Mon, 10 Aug 2020 13:58:55 +0200
branchsvghmi
changeset 3019 497aac6522a3
parent 2599 b4649f014a39
permissions -rw-r--r--
SVGHMI: provide request_animate() to Widget authors so that they can register redraw code when events lead to redraw. Widget member animate() is called when it is time to update DOM.
2599
b4649f014a39 Added Repair() png icon
Edouard Tisserant
parents:
diff changeset
     1
(binary:image/png)