QScintilla/EditorAssembly.py

changeset 1421
8fead6686d1c
parent 1358
c1622c708cd9
child 1439
953d3f95ee4d
equal deleted inserted replaced
1419:e200f9084c5d 1421:8fead6686d1c
59 self.__parseTimer.setInterval(5 * 1000) 59 self.__parseTimer.setInterval(5 * 1000)
60 self.__parseTimer.timeout.connect(self.__parseEditor) 60 self.__parseTimer.timeout.connect(self.__parseEditor)
61 self.__editor.textChanged.connect(self.__resetParseTimer) 61 self.__editor.textChanged.connect(self.__resetParseTimer)
62 62
63 QTimer.singleShot(0, self.__parseEditor) 63 QTimer.singleShot(0, self.__parseEditor)
64
65 def shutdownTimer(self):
66 """
67 Public method to stop and disconnect the timer.
68 """
69 self.__parseTimer.stop()
70 self.__parseTimer.timeout.disconnect(self.__parseEditor)
71 self.__editor.textChanged.disconnect(self.__resetParseTimer)
64 72
65 def getEditor(self): 73 def getEditor(self):
66 """ 74 """
67 Public method to get the reference to the editor widget. 75 Public method to get the reference to the editor widget.
68 76

eric ide

mercurial