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 |