WebBrowser/WebBrowserWindow.py

changeset 6221
35ec993034e1
parent 6187
2cc7e3629784
child 6223
53eda93de07c
equal deleted inserted replaced
6220:dd4a8b507144 6221:35ec993034e1
2913 if not self.__shallShutDown(): 2913 if not self.__shallShutDown():
2914 return False 2914 return False
2915 2915
2916 if WebBrowserWindow._downloadManager is not None and \ 2916 if WebBrowserWindow._downloadManager is not None and \
2917 not self.downloadManager().allowQuit(): 2917 not self.downloadManager().allowQuit():
2918 self.downloadManager().show()
2918 return False 2919 return False
2919 2920
2920 WebBrowserWindow._performingShutdown = True 2921 WebBrowserWindow._performingShutdown = True
2921 2922
2922 self.sessionManager().shutdown() 2923 self.sessionManager().shutdown()
3135 3136
3136 @return flag indicating private browsing mode 3137 @return flag indicating private browsing mode
3137 @rtype bool 3138 @rtype bool
3138 """ 3139 """
3139 return cls._isPrivate 3140 return cls._isPrivate
3141
3142 def closeCurrentBrowser(self):
3143 """
3144 Public method to close the current web browser.
3145 """
3146 self.__tabWidget.closeBrowser()
3147
3148 def closeBrowser(self, browser):
3149 """
3150 Public method to close the given browser.
3151
3152 @param browser reference to the web browser view to be closed
3153 @type WebBrowserView
3154 """
3155 self.__tabWidget.closeBrowserView(browser)
3140 3156
3141 def currentBrowser(self): 3157 def currentBrowser(self):
3142 """ 3158 """
3143 Public method to get a reference to the current web browser. 3159 Public method to get a reference to the current web browser.
3144 3160

eric ide

mercurial