plugins/python/modules/wxglade_hmi/__init__.py
author laurent
Tue, 20 Dec 2011 23:37:06 +0100
changeset 656 c1792dfc8c7e
parent 367 a76ee5307bb7
permissions -rw-r--r--
Fixing bug integrated plugin editors not closed when removing corresponding plugin
from wxglade_hmi import *