beremiz

Fix bug in resource search result highlighting

2012-12-19, Laurent Bessard
64aa66d481c5
Fix bug in resource search result highlighting
from editors.TextViewer import TextViewer
class IECCodeViewer(TextViewer):
def __del__(self):
TextViewer.__del__(self)
if getattr(self, "_OnClose"):
self._OnClose(self)