Mercurial Repositories > eric / file comparison
comparison: QScintilla/EditorAssembly.py
QScintilla/EditorAssembly.py
- changeset 6317
- e9ec47d52ff2
- parent 6297
- 85e20e9b4d55
- child 6645
- ad476851d7e0
equal
deleted
inserted
replaced
| 6316:ee88310f0334 | 6317:e9ec47d52ff2 |
|---|---|
| 58 | 58 |
| 59 self.__globalsCombo.activated[int].connect(self.__globalsActivated) | 59 self.__globalsCombo.activated[int].connect(self.__globalsActivated) |
| 60 self.__membersCombo.activated[int].connect(self.__membersActivated) | 60 self.__membersCombo.activated[int].connect(self.__membersActivated) |
| 61 self.__editor.cursorLineChanged.connect(self.__editorCursorLineChanged) | 61 self.__editor.cursorLineChanged.connect(self.__editorCursorLineChanged) |
| 62 | 62 |
| 63 self.__shutdownTimerCalled = False | |
| 63 self.__parseTimer = QTimer(self) | 64 self.__parseTimer = QTimer(self) |
| 64 self.__parseTimer.setSingleShot(True) | 65 self.__parseTimer.setSingleShot(True) |
| 65 self.__parseTimer.setInterval(5 * 1000) | 66 self.__parseTimer.setInterval(5 * 1000) |
| 66 self.__parseTimer.timeout.connect(self.__parseEditor) | 67 self.__parseTimer.timeout.connect(self.__parseEditor) |
| 67 self.__editor.textChanged.connect(self.__resetParseTimer) | 68 self.__editor.textChanged.connect(self.__resetParseTimer) |
| 77 def shutdownTimer(self): | 78 def shutdownTimer(self): |
| 78 """ | 79 """ |
| 79 Public method to stop and disconnect the timer. | 80 Public method to stop and disconnect the timer. |
| 80 """ | 81 """ |
| 81 self.__parseTimer.stop() | 82 self.__parseTimer.stop() |
| 82 self.__parseTimer.timeout.disconnect(self.__parseEditor) | 83 if not self.__shutdownTimerCalled: |
| 83 self.__editor.textChanged.disconnect(self.__resetParseTimer) | 84 self.__parseTimer.timeout.disconnect(self.__parseEditor) |
| 84 self.__editor.refreshed.disconnect(self.__resetParseTimer) | 85 self.__editor.textChanged.disconnect(self.__resetParseTimer) |
| 86 self.__editor.refreshed.disconnect(self.__resetParseTimer) | |
| 87 self.__shutdownTimerCalled = True | |
| 85 | 88 |
| 86 def getEditor(self): | 89 def getEditor(self): |
| 87 """ | 90 """ |
| 88 Public method to get the reference to the editor widget. | 91 Public method to get the reference to the editor widget. |
| 89 | 92 |
