69 provider = Preferences.getDocuViewer("Provider") |
69 provider = Preferences.getDocuViewer("Provider") |
70 if provider in self.__providers: |
70 if provider in self.__providers: |
71 index = self.providerComboBox.findData(provider) |
71 index = self.providerComboBox.findData(provider) |
72 else: |
72 else: |
73 index = 0 |
73 index = 0 |
|
74 provider = self.__disabledProvider |
74 self.providerComboBox.setCurrentIndex(index) |
75 self.providerComboBox.setCurrentIndex(index) |
|
76 self.__selectedProvider = provider |
75 |
77 |
76 # TODO: document this hook in the plug-in document |
78 # TODO: document this hook in the plug-in document |
77 def registerProvider(self, providerName, providerDisplay, provider): |
79 def registerProvider(self, providerName, providerDisplay, provider): |
78 """ |
80 """ |
79 Public method register a source docu provider. |
81 Public method register a source docu provider. |
204 if provider == self.__disabledProvider: |
206 if provider == self.__disabledProvider: |
205 self.documentationReady(self.__disabledString) |
207 self.documentationReady(self.__disabledString) |
206 elif provider in self.__providers: |
208 elif provider in self.__providers: |
207 Preferences.setDocuViewer("Provider", provider) |
209 Preferences.setDocuViewer("Provider", provider) |
208 self.__selectedProvider = provider |
210 self.__selectedProvider = provider |
|
211 self.contents.clear() |
|
212 self.objectLineEdit.clear() |
209 |
213 |
210 def shutdown(self): |
214 def shutdown(self): |
211 """ |
215 """ |
212 Public method to perform shutdown actions. |
216 Public method to perform shutdown actions. |
213 """ |
217 """ |