51 ## |
51 ## |
52 ##from .Network.NetworkAccessManager import SSL_AVAILABLE |
52 ##from .Network.NetworkAccessManager import SSL_AVAILABLE |
53 ## |
53 ## |
54 ##from .data import icons_rc # __IGNORE_WARNING__ |
54 ##from .data import icons_rc # __IGNORE_WARNING__ |
55 ##from .data import html_rc # __IGNORE_WARNING__ |
55 ##from .data import html_rc # __IGNORE_WARNING__ |
56 ##from .data import javascript_rc # __IGNORE_WARNING__ |
56 from .data import javascript_rc # __IGNORE_WARNING__ |
57 ## |
57 |
58 |
58 |
59 from .Tools import Scripts, WebBrowserTools, WebIconProvider |
59 from .Tools import Scripts, WebBrowserTools, WebIconProvider |
60 |
60 |
61 from .ZoomManager import ZoomManager |
61 from .ZoomManager import ZoomManager |
62 |
62 |
2511 ## if self.__helpInstaller: |
2511 ## if self.__helpInstaller: |
2512 ## self.__helpInstaller.stop() |
2512 ## self.__helpInstaller.stop() |
2513 ## |
2513 ## |
2514 self.searchEdit.saveSearches() |
2514 self.searchEdit.saveSearches() |
2515 |
2515 |
2516 self.__tabWidget.closeAllBrowsers() |
2516 self.__tabWidget.closeAllBrowsers(shutdown=True) |
2517 |
2517 |
2518 state = self.saveState() |
2518 state = self.saveState() |
2519 Preferences.setWebBrowser("WebBrowserState", state) |
2519 Preferences.setWebBrowser("WebBrowserState", state) |
2520 |
2520 |
2521 if Preferences.getWebBrowser("SaveGeometry"): |
2521 if Preferences.getWebBrowser("SaveGeometry"): |