equal
deleted
inserted
replaced
6 |
6 |
7 def __del__(self): |
7 def __del__(self): |
8 TextViewer.__del__(self) |
8 TextViewer.__del__(self) |
9 if getattr(self, "_OnClose"): |
9 if getattr(self, "_OnClose"): |
10 self._OnClose(self) |
10 self._OnClose(self) |
11 |
11 |
|
12 def Paste(self): |
|
13 if self.Controler is not None: |
|
14 TextViewer.Paste(self) |
|
15 |
12 def Search(self, criteria): |
16 def Search(self, criteria): |
13 return [((self.TagName, "body", 0),) + result for result in TestTextElement(self.Editor.GetText(), criteria)] |
17 return [((self.TagName, "body", 0),) + result for result in TestTextElement(self.Editor.GetText(), criteria)] |