199 self.__unregisterTimer.setInterval(30000) # 30 seconds |
199 self.__unregisterTimer.setInterval(30000) # 30 seconds |
200 self.__unregisterTimer.setSingleShot(True) |
200 self.__unregisterTimer.setSingleShot(True) |
201 self.__unregisterTimer.timeout.connect(self.__unregisterTimerTimeout) |
201 self.__unregisterTimer.timeout.connect(self.__unregisterTimerTimeout) |
202 self.__mostRecentlyUnregisteredProvider = None |
202 self.__mostRecentlyUnregisteredProvider = None |
203 |
203 |
|
204 self.__ui.shutdown.connect(self.__shutdown) |
|
205 |
204 def __setupUi(self): |
206 def __setupUi(self): |
205 """ |
207 """ |
206 Private method to generate the UI layout. |
208 Private method to generate the UI layout. |
207 """ |
209 """ |
208 self.setObjectName("CodeDocumentationViewer") |
210 self.setObjectName("CodeDocumentationViewer") |
468 self.__lastDocumentation = None |
470 self.__lastDocumentation = None |
469 |
471 |
470 Preferences.setDocuViewer("Provider", provider) |
472 Preferences.setDocuViewer("Provider", provider) |
471 self.__selectedProvider = provider |
473 self.__selectedProvider = provider |
472 |
474 |
473 def shutdown(self): |
475 def __shutdown(self): |
474 """ |
476 """ |
475 Public method to perform shutdown actions. |
477 Private method to perform shutdown actions. |
476 """ |
478 """ |
477 self.__shuttingDown = True |
479 self.__shuttingDown = True |
478 Preferences.setDocuViewer("Provider", self.__selectedProvider) |
480 Preferences.setDocuViewer("Provider", self.__selectedProvider) |
479 |
481 |
480 def preferencesChanged(self): |
482 def preferencesChanged(self): |