editors/__init__.py
author Laurent Bessard
Wed, 16 Jan 2013 22:35:06 +0100
changeset 903 e70daa8bca85
parent 814 5743cbdff669
permissions -rw-r--r--
Fix bug in DebugVariablePanel graphics not reset when program is restart