src/eric7/WebBrowser/TabManager/TabManagerWidget.py

branch
eric7
changeset 10069
435cc5875135
parent 9653
e67609152c5e
child 10439
21c28b0f9e41
diff -r 7febcdccb2a1 -r 435cc5875135 src/eric7/WebBrowser/TabManager/TabManagerWidget.py
--- a/src/eric7/WebBrowser/TabManager/TabManagerWidget.py	Thu May 25 11:12:05 2023 +0200
+++ b/src/eric7/WebBrowser/TabManager/TabManagerWidget.py	Thu May 25 19:51:47 2023 +0200
@@ -537,14 +537,12 @@
 
         menu.exec(self.__tree.viewport().mapToGlobal(pos))
 
-    def mainWindowCreated(self, mainWin, refresh=True):
+    def mainWindowCreated(self, mainWin):
         """
         Public method to act on the creation of a new web browser window.
 
         @param mainWin reference to the web browser window
         @type WebBrowserWindow
-        @param refresh flag indicating to refresh the widget
-        @type bool
         """
         mainWin.webBrowserWindowClosed.connect(self.delayedRefreshTree)
         mainWin.webBrowserWindowOpened.connect(self.mainWindowCreated)

eric ide

mercurial