images/minimize_graph.png
| author |
Edouard Tisserant |
|
Tue, 14 Jun 2022 11:56:05 +0200 |
| changeset 3513 |
7d4a16e59337 |
| parent 929 |
c562031146e4
|
| permissions |
-rw-r--r-- |
SVGHMI: rework Switch widget : detach/attach elements instead of hiding with style.display, detach all possible choices at init.
