104 """ |
104 """ |
105 self.__parseTimer.stop() |
105 self.__parseTimer.stop() |
106 if not self.__aboutToBeClosedCalled: |
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 ericApp().getObject("UserInterface").preferencesChanged.disconnect() |
109 ericApp().getObject("UserInterface").preferencesChanged.disconnect( |
|
110 self.__preferencesChanged |
|
111 ) |
110 |
112 |
111 self.__aboutToBeClosedCalled = True |
113 self.__aboutToBeClosedCalled = True |
112 |
114 |
113 def getEditor(self): |
115 def getEditor(self): |
114 """ |
116 """ |