images/FILE.png
author Edouard Tisserant <edouard.tisserant@gmail.com>
Wed, 19 Jan 2022 08:53:49 +0100
changeset 3413 2e84a2782295
parent 784 a1d970365e41
permissions -rw-r--r--
SVGHMI: Add pushbutton widget, that can take reflect short press in variable, but has no garantee on consistency.
784
a1d970365e41 Adding support for beremiz extensions to define custom file editors for project files
laurent
parents:
diff changeset
     1
(binary:image/png)