images/IDManager.png
author Edouard Tisserant
Thu, 17 Dec 2020 19:31:00 +0100
branchsvghmi
changeset 3092 96ffd8b1b016
parent 2337 8689ce77076f
permissions -rw-r--r--
SVGHMI: added dropdown selection highlighting and fixed scrolling so that it doesn't miss any entry while jumping from one page to the other.
2337
8689ce77076f Added toolbar button to launch ID Manager dialog.
Edouard Tisserant
parents:
diff changeset
     1
(binary:image/png)