288 self.__providers[providerName] = (provider, supported) |
288 self.__providers[providerName] = (provider, supported) |
289 self.providerComboBox.addItem(providerDisplay, providerName) |
289 self.providerComboBox.addItem(providerDisplay, providerName) |
290 |
290 |
291 self.providerAdded.emit() |
291 self.providerAdded.emit() |
292 |
292 |
293 if self.__unregisterTimer.isActive(): |
293 if ( |
294 if providerName == self.__mostRecentlyUnregisteredProvider: |
294 self.__unregisterTimer.isActive() and |
295 # this is assumed to be a plug-in reload |
295 providerName == self.__mostRecentlyUnregisteredProvider |
296 self.__unregisterTimer.stop() |
296 ): |
297 self.__mostRecentlyUnregisteredProvider = None |
297 # this is assumed to be a plug-in reload |
298 self.__selectProvider(providerName) |
298 self.__unregisterTimer.stop() |
|
299 self.__mostRecentlyUnregisteredProvider = None |
|
300 self.__selectProvider(providerName) |
299 |
301 |
300 def unregisterProvider(self, providerName): |
302 def unregisterProvider(self, providerName): |
301 """ |
303 """ |
302 Public method register a source docu provider. |
304 Public method register a source docu provider. |
303 |
305 |