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 editors.TextViewer import TextViewer
class IECCodeViewer(TextViewer):
def __del__(self):
TextViewer.__del__(self)
if getattr(self, "_OnClose"):
self._OnClose(self)