editors/__init__.py
author Laurent Bessard
Wed, 20 Mar 2013 23:47:07 +0100
changeset 990 7f57b969caed
parent 814 5743cbdff669
permissions -rw-r--r--
Fixed bug on variables with empty name in VariablePanel can't be edited