images/IDManager.png
author Edouard Tisserant
Wed, 09 Jan 2019 14:09:02 +0100
changeset 2481 6cd7dae360d4
parent 2337 8689ce77076f
permissions -rw-r--r--
fixed exception happening when connecting to empty URI, and set URI through URI Editor Dialog popping up becaue empty.
2337
8689ce77076f Added toolbar button to launch ID Manager dialog.
Edouard Tisserant
parents:
diff changeset
     1
(binary:image/png)