images/HMIEditor.png
author Edouard Tisserant
Mon, 15 Jun 2020 14:27:58 +0200
changeset 2672 4bc60e426dd6
parent 533 25437efb7ae4
permissions -rw-r--r--
Runtime extrension web settings: distinguish display string and token when calling NS.newExtensionSetting, thus allowing meaningful name to be displayed instead of an id.
533
25437efb7ae4 Christmas 2009 release
Edouard TISSERANT <edouard.tisserant@gmail.com>
parents: 197
diff changeset
     1
(binary:image/png)