WebBrowser/WebBrowserWindow.py

changeset 6221
35ec993034e1
parent 6187
2cc7e3629784
child 6223
53eda93de07c
diff -r dd4a8b507144 -r 35ec993034e1 WebBrowser/WebBrowserWindow.py
--- a/WebBrowser/WebBrowserWindow.py	Sat Apr 07 16:40:21 2018 +0200
+++ b/WebBrowser/WebBrowserWindow.py	Sun Apr 08 15:54:34 2018 +0200
@@ -2915,6 +2915,7 @@
         
         if WebBrowserWindow._downloadManager is not None and \
                 not self.downloadManager().allowQuit():
+            self.downloadManager().show()
             return False
         
         WebBrowserWindow._performingShutdown = True
@@ -3138,6 +3139,21 @@
         """
         return cls._isPrivate
     
+    def closeCurrentBrowser(self):
+        """
+        Public method to close the current web browser.
+        """
+        self.__tabWidget.closeBrowser()
+    
+    def closeBrowser(self, browser):
+        """
+        Public method to close the given browser.
+        
+        @param browser reference to the web browser view to be closed
+        @type WebBrowserView
+        """
+        self.__tabWidget.closeBrowserView(browser)
+    
     def currentBrowser(self):
         """
         Public method to get a reference to the current web browser.

eric ide

mercurial