beremiz

Fix bug when double click while pressing CTRL on other elements than blocks

2012-11-15, Laurent Bessard
3c6ce0a5ab2c
Fix bug when double click while pressing CTRL on other elements than blocks
from py_ext import *
from PythonEditor import PythonEditor
from PythonFileCTNMixin import PythonFileCTNMixin