Mercurial Repositories > eric / file comparison
comparison: src/eric7/QScintilla/EditorAssembly.py
src/eric7/QScintilla/EditorAssembly.py
- branch
- eric7
- changeset 9687
- 3a240d3f3b8c
- parent 9653
- e67609152c5e
- child 9688
- f3817c476a62
equal
deleted
inserted
replaced
| 9686:2eee7a645cba | 9687:3a240d3f3b8c |
|---|---|
| 77 | 77 |
| 78 self.setFocusProxy(self.__editor) | 78 self.setFocusProxy(self.__editor) |
| 79 | 79 |
| 80 self.__module = None | 80 self.__module = None |
| 81 | 81 |
| 82 self.__shutdownTimerCalled = False | 82 self.__aboutToBeClosedCalled = False |
| 83 self.__parseTimer = QTimer(self) | 83 self.__parseTimer = QTimer(self) |
| 84 self.__parseTimer.setSingleShot(True) | 84 self.__parseTimer.setSingleShot(True) |
| 85 self.__parseTimer.setInterval(5 * 1000) | 85 self.__parseTimer.setInterval(5 * 1000) |
| 86 self.__editor.textChanged.connect(self.__resetParseTimer) | 86 self.__editor.textChanged.connect(self.__resetParseTimer) |
| 87 self.__editor.refreshed.connect(self.__resetParseTimer) | 87 self.__editor.refreshed.connect(self.__resetParseTimer) |
| 96 | 96 |
| 97 ericApp().getObject("UserInterface").preferencesChanged.connect( | 97 ericApp().getObject("UserInterface").preferencesChanged.connect( |
| 98 self.__preferencesChanged | 98 self.__preferencesChanged |
| 99 ) | 99 ) |
| 100 | 100 |
| 101 def shutdownTimer(self): | 101 def aboutToBeClosed(self): |
| 102 """ | 102 """ |
| 103 Public method to stop and disconnect the timer. | 103 Public method to stop and disconnect the timer and disconnect some signals. |
| 104 """ | 104 """ |
| 105 self.__parseTimer.stop() | 105 self.__parseTimer.stop() |
| 106 if not self.__shutdownTimerCalled: | 106 if not self.__aboutToBeClosedCalled: |
| 107 self.__editor.textChanged.disconnect(self.__resetParseTimer) | 107 self.__editor.textChanged.disconnect(self.__resetParseTimer) |
| 108 self.__editor.refreshed.disconnect(self.__resetParseTimer) | 108 self.__editor.refreshed.disconnect(self.__resetParseTimer) |
| 109 self.__shutdownTimerCalled = True | 109 ericApp().getObject("UserInterface").preferencesChanged.disconnect() |
| 110 | |
| 111 self.__aboutToBeClosedCalled = True | |
| 110 | 112 |
| 111 def getEditor(self): | 113 def getEditor(self): |
| 112 """ | 114 """ |
| 113 Public method to get the reference to the editor widget. | 115 Public method to get the reference to the editor widget. |
| 114 | 116 |
