images/IDManager.png
author Edouard Tisserant
Fri, 09 Sep 2022 09:45:27 +0200
changeset 3599 0d7c41546854
parent 2337 8689ce77076f
permissions -rw-r--r--
SVGHMI: fix ToggleButton not always reflecting current state
(binary:image/png)