1336 menu.addAction(self.stopAct) |
1336 menu.addAction(self.stopAct) |
1337 menu.addAction(self.reloadAct) |
1337 menu.addAction(self.reloadAct) |
1338 menu.addSeparator() |
1338 menu.addSeparator() |
1339 menu.addAction(self.syncTocAct) |
1339 menu.addAction(self.syncTocAct) |
1340 |
1340 |
1341 self.historyMenu = HistoryMenu(self) |
1341 self.historyMenu = HistoryMenu(self, self.tabWidget) |
1342 self.historyMenu.setTearOffEnabled(True) |
1342 self.historyMenu.setTearOffEnabled(True) |
1343 self.historyMenu.setTitle(self.trUtf8('H&istory')) |
1343 self.historyMenu.setTitle(self.trUtf8('H&istory')) |
1344 self.historyMenu.openUrl.connect(self.openUrl) |
1344 self.historyMenu.openUrl.connect(self.openUrl) |
1345 self.historyMenu.newUrl.connect(self.openUrlNewTab) |
1345 self.historyMenu.newUrl.connect(self.openUrlNewTab) |
1346 mb.addMenu(self.historyMenu) |
1346 mb.addMenu(self.historyMenu) |