--- a/editors/TextViewer.py Tue Apr 23 23:02:35 2013 +0200
+++ b/editors/TextViewer.py Wed Apr 24 00:20:13 2013 +0200
@@ -764,6 +764,9 @@
self.RefreshModel()
self.RefreshBuffer()
+ def Search(self, criteria):
+ return self.Controler.SearchInPou(self.TagName, criteria, self.Debug)
+
def Find(self, direction, search_params):
if self.SearchParams != search_params:
self.ClearHighlights(SEARCH_RESULT_HIGHLIGHT)
@@ -779,7 +782,8 @@
self.SearchResults = [
(infos[1:], start, end, SEARCH_RESULT_HIGHLIGHT)
for infos, start, end, text in
- self.Controler.SearchInPou(self.TagName, criteria, self.Debug)]
+ self.Search(criteria)]
+ self.CurrentFindHighlight = None
if len(self.SearchResults) > 0:
if self.CurrentFindHighlight is not None:
@@ -801,6 +805,8 @@
self.RemoveHighlight(*self.CurrentFindHighlight)
self.CurrentFindHighlight = None
+ print self.CurrentFindHighlight
+
def RefreshModel(self):
self.RefreshJumpList()
self.Controler.SetEditedElementText(self.TagName, self.GetText())