WebBrowser/WebBrowserWindow.py

branch
QtWebEngine
changeset 4745
285bfd224a1b
parent 4744
ad3f6c1caf8d
child 4751
f745a556fd6f
equal deleted inserted replaced
4744:ad3f6c1caf8d 4745:285bfd224a1b
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"):

eric ide

mercurial