--- a/editors/TextViewer.py	Mon May 27 13:10:32 2013 +0200
+++ b/editors/TextViewer.py	Tue May 28 10:03:41 2013 +0200
@@ -163,14 +163,13 @@
         self.DisableEvents = True
         self.TextSyntax = None
         self.CurrentAction = None
-        self.Highlights = []
-        self.SearchParams = None
-        self.SearchResults = None
-        self.CurrentFindHighlight = None
+        
         self.InstancePath = instancepath
         self.ContextStack = []
         self.CallStack = []
         
+        self.ResetSearchResults()
+        
         self.RefreshHighlightsTimer = wx.Timer(self, -1)
         self.Bind(wx.EVT_TIMER, self.OnRefreshHighlightsTimer, self.RefreshHighlightsTimer)
         
@@ -214,6 +213,12 @@
     def GetCurrentPos(self):
         return self.Editor.GetCurrentPos()
     
+    def ResetSearchResults(self):
+        self.Highlights = []
+        self.SearchParams = None
+        self.SearchResults = None
+        self.CurrentFindHighlight = None
+    
     def OnModification(self, event):
         if not self.DisableEvents:
             mod_type = event.GetModificationType()
@@ -786,6 +791,7 @@
     def RefreshModel(self):
         self.RefreshJumpList()
         self.Controler.SetEditedElementText(self.TagName, self.GetText())
+        self.ResetSearchResults()
     
     def OnKeyDown(self, event):
         if self.Controler is not None: