QScintilla/Editor.py

changeset 2189
5149cec53130
parent 2165
f89fc1162ffe
child 2213
022f4ad3ed19
--- a/QScintilla/Editor.py	Sun Nov 04 10:11:21 2012 +0100
+++ b/QScintilla/Editor.py	Sun Nov 04 10:40:43 2012 +0100
@@ -2426,6 +2426,14 @@
             self.__onlineChangeTraceTimerTimeout)
         self.textChanged.connect(self.__resetOnlineChangeTraceTimer)
         
+    def __reinitOnlineChangeTrace(self):
+        """
+        Private slot to re-initialize the online change trace.
+        """
+        self.__oldText = self.text()
+        self.__lastSavedText = self.text()
+        self.__deleteAllChangeMarkers()
+        
     def __resetOnlineChangeTraceTimer(self):
         """
         Private method to reset the online syntax check timer.
@@ -5774,6 +5782,9 @@
             self.lastModified = QDateTime.currentDateTime()
         self.setModified(False)
         
+        # re-initialize the online change tracer
+        self.__reinitOnlineChangeTrace()
+        
         # reset cursor position
         self.setCursorPosition(cline, cindex)
         self.ensureCursorVisible()

eric ide

mercurial