eric6/WebBrowser/TabManager/TabManagerWidget.py

changeset 7759
51aa6c6b66f7
parent 7533
88261c96484b
child 7781
607a6098cb44
equal deleted inserted replaced
7758:dd54d33d21d2 7759:51aa6c6b66f7
124 from ..Bookmarks.AddBookmarkDialog import AddBookmarkDialog 124 from ..Bookmarks.AddBookmarkDialog import AddBookmarkDialog
125 125
126 dlg = AddBookmarkDialog() 126 dlg = AddBookmarkDialog()
127 dlg.setFolder(True) 127 dlg.setFolder(True)
128 dlg.setTitle(self.tr("Saved Tabs")) 128 dlg.setTitle(self.tr("Saved Tabs"))
129 dlg.exec_() 129 dlg.exec()
130 130
131 folder = dlg.addedNode() 131 folder = dlg.addedNode()
132 if folder is None: 132 if folder is None:
133 return 133 return
134 134
535 UI.PixmapCache.getIcon("tabClose"), 535 UI.PixmapCache.getIcon("tabClose"),
536 self.tr("&Close checked tabs")) 536 self.tr("&Close checked tabs"))
537 act.setObjectName("closeSelection") 537 act.setObjectName("closeSelection")
538 act.triggered.connect(lambda: self.__processActions(act)) 538 act.triggered.connect(lambda: self.__processActions(act))
539 539
540 menu.exec_(self.__tree.viewport().mapToGlobal(pos)) 540 menu.exec(self.__tree.viewport().mapToGlobal(pos))
541 541
542 def mainWindowCreated(self, mainWin, refresh=True): 542 def mainWindowCreated(self, mainWin, refresh=True):
543 """ 543 """
544 Public method to act on the creation of a new web browser window. 544 Public method to act on the creation of a new web browser window.
545 545

eric ide

mercurial