--- a/src/eric7/UI/CodeDocumentationViewer.py Thu Apr 10 18:36:24 2025 +0200 +++ b/src/eric7/UI/CodeDocumentationViewer.py Thu Apr 10 18:39:29 2025 +0200 @@ -201,6 +201,8 @@ self.__unregisterTimer.timeout.connect(self.__unregisterTimerTimeout) self.__mostRecentlyUnregisteredProvider = None + self.__ui.shutdown.connect(self.__shutdown) + def __setupUi(self): """ Private method to generate the UI layout. @@ -470,9 +472,9 @@ Preferences.setDocuViewer("Provider", provider) self.__selectedProvider = provider - def shutdown(self): + def __shutdown(self): """ - Public method to perform shutdown actions. + Private method to perform shutdown actions. """ self.__shuttingDown = True Preferences.setDocuViewer("Provider", self.__selectedProvider)