images/IDManager.png
author Edouard Tisserant
Wed, 25 May 2022 09:55:36 +0200
changeset 3487 efa45e7cb04b
parent 2337 8689ce77076f
permissions -rw-r--r--
SVGHMI: fix dropdown widget in case it is used as language selection widget

global i18n definitions changed but widget wasn't updated accordingly.
2337
8689ce77076f Added toolbar button to launch ID Manager dialog.
Edouard Tisserant
parents:
diff changeset
     1
(binary:image/png)