QScintilla/EditorAssembly.py

changeset 1807
9898a95461f1
parent 1667
02ad912c8645
child 1897
4c89af5a756f
child 2303
0ed4ed026c16
--- a/QScintilla/EditorAssembly.py	Sat Apr 21 19:52:33 2012 +0200
+++ b/QScintilla/EditorAssembly.py	Sun Apr 22 12:01:43 2012 +0200
@@ -59,6 +59,7 @@
         self.__parseTimer.setInterval(5 * 1000)
         self.__parseTimer.timeout.connect(self.__parseEditor)
         self.__editor.textChanged.connect(self.__resetParseTimer)
+        self.__editor.refreshed.connect(self.__resetParseTimer)
         
         self.__selectedGlobal = ""
         self.__selectedMember = ""
@@ -72,6 +73,7 @@
         self.__parseTimer.stop()
         self.__parseTimer.timeout.disconnect(self.__parseEditor)
         self.__editor.textChanged.disconnect(self.__resetParseTimer)
+        self.__editor.refreshed.disconnect(self.__resetParseTimer)
     
     def getEditor(self):
         """

eric ide

mercurial