200 |
200 |
201 def deactivate(self): |
201 def deactivate(self): |
202 """ |
202 """ |
203 Public method to deactivate this plugin. |
203 Public method to deactivate this plugin. |
204 """ |
204 """ |
205 self.__refactoringServer.deactivate() |
205 if self.__refactoringServer: |
206 |
206 self.__refactoringServer.deactivate() |
207 self.__codeAssistServer.deactivate() |
207 |
|
208 if self.__codeAssistServer: |
|
209 self.__codeAssistServer.deactivate() |
208 |
210 |
209 e5App().getObject("PluginManager").shutdown.disconnect( |
211 e5App().getObject("PluginManager").shutdown.disconnect( |
210 self.__shutdown) |
212 self.__shutdown) |
211 e5App().getObject("ViewManager").editorOpenedEd.disconnect( |
213 e5App().getObject("ViewManager").editorOpenedEd.disconnect( |
212 self.__editorOpened) |
214 self.__editorOpened) |