eric6/WebBrowser/TabManager/TabManagerWidget.py

changeset 8205
4a0f1f896341
parent 8143
2c730d5fd177
child 8218
7c09585bd960
--- a/eric6/WebBrowser/TabManager/TabManagerWidget.py	Thu Apr 08 17:27:12 2021 +0200
+++ b/eric6/WebBrowser/TabManager/TabManagerWidget.py	Thu Apr 08 18:27:47 2021 +0200
@@ -136,7 +136,7 @@
             for browser in browsersDict[mainWin]:
                 if (
                     not browser.url().isEmpty() and
-                    not browser.url().scheme() == "eric"
+                    browser.url().scheme() != "eric"
                 ):
                     bookmark = BookmarkNode(BookmarkNode.Bookmark)
                     bookmark.url = bytes(browser.url().toEncoded()).decode()
@@ -310,9 +310,7 @@
         
         self.__isRefreshing = True
         
-        winCount = 0
-        for mainWin in windows:
-            winCount += 1
+        for winCount, mainWin in enumerate(windows, start=1):
             winItem = self.__createEmptyItem()
             winItem.setText(0, self.tr("Window {0}").format(winCount))
             winItem.setToolTip(0, self.tr("Double click to switch"))

eric ide

mercurial