images/Maximize.png
author Edouard Tisserant
Wed, 14 Nov 2018 11:32:08 +0100
changeset 2334 d1470c052662
parent 660 56b536118ec8
permissions -rw-r--r--
Added early implementation of IDManager.py. For now only used to select ID in URIEditor
660
56b536118ec8 Fixing inverted icons for button to Minimize/Maximize plugin parameters panel
laurent
parents: 533
diff changeset
     1
(binary:image/png)