eric6/WebBrowser/History/HistoryMenu.py

changeset 7937
181d1160f617
parent 7923
91e843545d9a
child 7973
e836d196e888
equal deleted inserted replaced
7936:f9f85cf6d102 7937:181d1160f617
6 """ 6 """
7 Module implementing the history menu. 7 Module implementing the history menu.
8 """ 8 """
9 9
10 import sys 10 import sys
11 import functools
11 12
12 from PyQt5.QtCore import ( 13 from PyQt5.QtCore import (
13 pyqtSignal, Qt, QMimeData, QUrl, QModelIndex, QSortFilterProxyModel, 14 pyqtSignal, Qt, QMimeData, QUrl, QModelIndex, QSortFilterProxyModel,
14 QAbstractProxyModel 15 QAbstractProxyModel
15 ) 16 )
438 act = self.__closedTabsMenu.addAction( 439 act = self.__closedTabsMenu.addAction(
439 WebBrowser.WebBrowserWindow.WebBrowserWindow.icon(tab.url), 440 WebBrowser.WebBrowserWindow.WebBrowserWindow.icon(tab.url),
440 title) 441 title)
441 act.setData(index) 442 act.setData(index)
442 act.triggered.connect( 443 act.triggered.connect(
443 lambda: self.__tabWidget.restoreClosedTab(act)) 444 functools.partial(self.__tabWidget.restoreClosedTab, act))
444 index += 1 445 index += 1
445 self.__closedTabsMenu.addSeparator() 446 self.__closedTabsMenu.addSeparator()
446 self.__closedTabsMenu.addAction( 447 self.__closedTabsMenu.addAction(
447 self.tr("Restore All Closed Tabs"), 448 self.tr("Restore All Closed Tabs"),
448 self.__tabWidget.restoreAllClosedTabs) 449 self.__tabWidget.restoreAllClosedTabs)

eric ide

mercurial