QScintilla/EditorAssembly.py

changeset 6317
e9ec47d52ff2
parent 6297
85e20e9b4d55
child 6645
ad476851d7e0
--- a/QScintilla/EditorAssembly.py	Sat Jun 02 12:19:27 2018 +0200
+++ b/QScintilla/EditorAssembly.py	Sat Jun 02 12:34:47 2018 +0200
@@ -60,6 +60,7 @@
         self.__membersCombo.activated[int].connect(self.__membersActivated)
         self.__editor.cursorLineChanged.connect(self.__editorCursorLineChanged)
         
+        self.__shutdownTimerCalled = False
         self.__parseTimer = QTimer(self)
         self.__parseTimer.setSingleShot(True)
         self.__parseTimer.setInterval(5 * 1000)
@@ -79,9 +80,11 @@
         Public method to stop and disconnect the timer.
         """
         self.__parseTimer.stop()
-        self.__parseTimer.timeout.disconnect(self.__parseEditor)
-        self.__editor.textChanged.disconnect(self.__resetParseTimer)
-        self.__editor.refreshed.disconnect(self.__resetParseTimer)
+        if not self.__shutdownTimerCalled:
+            self.__parseTimer.timeout.disconnect(self.__parseEditor)
+            self.__editor.textChanged.disconnect(self.__resetParseTimer)
+            self.__editor.refreshed.disconnect(self.__resetParseTimer)
+            self.__shutdownTimerCalled = True
     
     def getEditor(self):
         """

eric ide

mercurial