603 splash.showMessage(self.tr("Initializing Tools...")) |
603 splash.showMessage(self.tr("Initializing Tools...")) |
604 self.toolGroups, self.currentToolGroup = Preferences.readToolGroups() |
604 self.toolGroups, self.currentToolGroup = Preferences.readToolGroups() |
605 self.toolProcs = [] |
605 self.toolProcs = [] |
606 self.__initExternalToolsActions() |
606 self.__initExternalToolsActions() |
607 |
607 |
608 # redirect handling of http and https URLs to ourselves |
608 # redirect handling of http, https and file URLs to ourselves |
609 QDesktopServices.setUrlHandler("file", self.handleUrl) |
609 QDesktopServices.setUrlHandler("file", self.handleUrl) |
610 QDesktopServices.setUrlHandler("http", self.handleUrl) |
610 QDesktopServices.setUrlHandler("http", self.handleUrl) |
611 QDesktopServices.setUrlHandler("https", self.handleUrl) |
611 QDesktopServices.setUrlHandler("https", self.handleUrl) |
612 |
612 |
613 # register all relevant objects |
613 # register all relevant objects |
7534 return False |
7534 return False |
7535 |
7535 |
7536 if not self.viewmanager.closeViewManager(): |
7536 if not self.viewmanager.closeViewManager(): |
7537 return False |
7537 return False |
7538 |
7538 |
|
7539 QDesktopServices.unsetUrlHandler("file") |
|
7540 QDesktopServices.unsetUrlHandler("http") |
|
7541 QDesktopServices.unsetUrlHandler("https") |
|
7542 |
7539 if sessionCreated and not self.__disableCrashSession: |
7543 if sessionCreated and not self.__disableCrashSession: |
7540 self.__deleteCrashSession() |
7544 self.__deleteCrashSession() |
7541 |
7545 |
7542 if self.codeDocumentationViewer is not None: |
7546 if self.codeDocumentationViewer is not None: |
7543 self.codeDocumentationViewer.shutdown() |
7547 self.codeDocumentationViewer.shutdown() |