diff -r 6dc5b1db7bdc -r 349308e84eeb eric6/UI/CodeDocumentationViewer.py
--- a/eric6/UI/CodeDocumentationViewer.py Mon Apr 12 18:25:52 2021 +0200
+++ b/eric6/UI/CodeDocumentationViewer.py Mon Apr 12 19:05:23 2021 +0200
@@ -290,12 +290,14 @@
self.providerAdded.emit()
- if self.__unregisterTimer.isActive():
- if providerName == self.__mostRecentlyUnregisteredProvider:
- # this is assumed to be a plug-in reload
- self.__unregisterTimer.stop()
- self.__mostRecentlyUnregisteredProvider = None
- self.__selectProvider(providerName)
+ if (
+ self.__unregisterTimer.isActive() and
+ providerName == self.__mostRecentlyUnregisteredProvider
+ ):
+ # this is assumed to be a plug-in reload
+ self.__unregisterTimer.stop()
+ self.__mostRecentlyUnregisteredProvider = None
+ self.__selectProvider(providerName)
def unregisterProvider(self, providerName):
"""
