--- 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"))