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 """ |