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