editors/IECCodeViewer.py
author Laurent Bessard
Thu, 04 Jul 2013 11:18:04 +0200
changeset 1273 921858d68a13
parent 1262 7b9259945453
child 1511 91538d0c242c
permissions -rw-r--r--
Fix refresh bug when scrolling Viewer while dragging graphic element or rubberband

from editors.TextViewer import TextViewer
from plcopen.plcopen import TestTextElement

class IECCodeViewer(TextViewer):
    
    def __del__(self):
        TextViewer.__del__(self)
        if getattr(self, "_OnClose"):
            self._OnClose(self)
    
    def Paste(self):
        if self.Controler is not None:
            TextViewer.Paste(self)
    
    def Search(self, criteria):
        return [((self.TagName, "body", 0),) + result for result in TestTextElement(self.Editor.GetText(), criteria)]