images/editWXGLADE.png
author greg
Mon, 18 May 2009 07:47:24 +0200
changeset 344 25b7b7f854bc
parent 301 87c925eaaa3a
child 434 092060fd8afb
permissions -rw-r--r--
Wait the debug thread has terminated before freeing PLC to avoid random segmentation fault.

Store working directory to globals copy, in order to be used in runtime.py.
301
87c925eaaa3a Added support for wxglade GUIs.
etisserant
parents:
diff changeset
     1
(binary:image/png)