Helpviewer/History/HistoryMenu.py

changeset 4320
ccc70fb94c64
parent 4021
195a471c327b
child 4631
5c1a96925da4
equal deleted inserted replaced
4318:c2f374ca452b 4320:ccc70fb94c64
379 if self.__historyManager is not None and E5MessageBox.yesNo( 379 if self.__historyManager is not None and E5MessageBox.yesNo(
380 self, 380 self,
381 self.tr("Clear History"), 381 self.tr("Clear History"),
382 self.tr("""Do you want to clear the history?""")): 382 self.tr("""Do you want to clear the history?""")):
383 self.__historyManager.clear() 383 self.__historyManager.clear()
384 self.__tabWidget.clearClosedTabsList()
384 385
385 def __aboutToShowClosedTabsMenu(self): 386 def __aboutToShowClosedTabsMenu(self):
386 """ 387 """
387 Private slot to populate the closed tabs menu. 388 Private slot to populate the closed tabs menu.
388 """ 389 """

eric ide

mercurial