editors/__init__.py
author Laurent Bessard
Fri, 14 Jun 2013 10:49:14 +0200
changeset 1257 4b7ef7ea318f
parent 814 5743cbdff669
permissions -rw-r--r--
Fixed bug VariablePanel and ProjectProperties not refreshed in ProjectNodeEditor