beremiz

Fix bug when adjusting block size, block informations was not saved when using control + shift + double click

2012-10-26, Laurent Bessard
6aadbde5f41e
Fix bug when adjusting block size, block informations was not saved when using control + shift + double click
from py_ext import *
from PythonEditor import PythonEditor
from PythonFileCTNMixin import PythonFileCTNMixin