images/IDManager.png
author Edouard Tisserant <edouard.tisserant@gmail.com>
Sun, 12 Mar 2023 00:55:19 +0100
branchwxPython4
changeset 3747 1db10e9df882
parent 2337 8689ce77076f
permissions -rw-r--r--
IDE: fix exception when re-opening previously closed tab

Same as commit with same message, this time for tabs that are not POUs editors.
2337
8689ce77076f Added toolbar button to launch ID Manager dialog.
Edouard Tisserant
parents:
diff changeset
     1
(binary:image/png)