eric6/UI/CodeDocumentationViewer.py

changeset 8227
349308e84eeb
parent 8218
7c09585bd960
child 8243
cc717c2ae956
equal deleted inserted replaced
8226:6dc5b1db7bdc 8227:349308e84eeb
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

eric ide

mercurial