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