py_ext/__init__.py
author Edouard Tisserant
Thu, 27 Feb 2014 10:45:06 +0100
changeset 1395 bcd1e909076c
parent 728 e0424e96e3fd
child 1511 91538d0c242c
permissions -rw-r--r--
Fixed non initialized timer causing exception in some rare cases
from py_ext import *
from PythonEditor import PythonEditor
from PythonFileCTNMixin import PythonFileCTNMixin