Helpviewer/History/HistoryMenu.py

branch
6_0_x
changeset 4319
4b8309feef42
parent 4022
f5f42921717e
child 4631
5c1a96925da4
equal deleted inserted replaced
4315:2ebb98e99054 4319:4b8309feef42
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