eric6/WebBrowser/TabManager/TabManagerWidget.py

changeset 8205
4a0f1f896341
parent 8143
2c730d5fd177
child 8218
7c09585bd960
equal deleted inserted replaced
8204:fd477cded1c1 8205:4a0f1f896341
134 134
135 for mainWin in browsersDict: 135 for mainWin in browsersDict:
136 for browser in browsersDict[mainWin]: 136 for browser in browsersDict[mainWin]:
137 if ( 137 if (
138 not browser.url().isEmpty() and 138 not browser.url().isEmpty() and
139 not browser.url().scheme() == "eric" 139 browser.url().scheme() != "eric"
140 ): 140 ):
141 bookmark = BookmarkNode(BookmarkNode.Bookmark) 141 bookmark = BookmarkNode(BookmarkNode.Bookmark)
142 bookmark.url = bytes(browser.url().toEncoded()).decode() 142 bookmark.url = bytes(browser.url().toEncoded()).decode()
143 bookmark.title = browser.title() 143 bookmark.title = browser.title()
144 144
308 """ 308 """
309 windows = self.__mw.mainWindows() 309 windows = self.__mw.mainWindows()
310 310
311 self.__isRefreshing = True 311 self.__isRefreshing = True
312 312
313 winCount = 0 313 for winCount, mainWin in enumerate(windows, start=1):
314 for mainWin in windows:
315 winCount += 1
316 winItem = self.__createEmptyItem() 314 winItem = self.__createEmptyItem()
317 winItem.setText(0, self.tr("Window {0}").format(winCount)) 315 winItem.setText(0, self.tr("Window {0}").format(winCount))
318 winItem.setToolTip(0, self.tr("Double click to switch")) 316 winItem.setToolTip(0, self.tr("Double click to switch"))
319 if mainWin == self.__mw: 317 if mainWin == self.__mw:
320 font = winItem.font(0) 318 font = winItem.font(0)

eric ide

mercurial