712 self.menu.addSeparator() |
712 self.menu.addSeparator() |
713 self.menuActs["Show"] = self.menu.addMenu(self.menuShow) |
713 self.menuActs["Show"] = self.menu.addMenu(self.menuShow) |
714 self.menu.addSeparator() |
714 self.menu.addSeparator() |
715 self.menuActs["Diagrams"] = self.menu.addMenu(self.graphicsMenu) |
715 self.menuActs["Diagrams"] = self.menu.addMenu(self.graphicsMenu) |
716 self.menu.addSeparator() |
716 self.menu.addSeparator() |
717 self.menu.addAction(self.trUtf8('New view'), self.__newView) |
717 self.menu.addAction( |
718 act = self.menu.addAction( |
718 UI.PixmapCache.getIcon("documentNewView.png"), |
719 self.trUtf8('New view (with new split)'), self.__newViewNewSplit) |
719 self.trUtf8('New Document View'), self.__newView) |
720 if not self.vm.canSplit(): |
720 self.menuActs["NewSplit"] = self.menu.addAction( |
721 act.setEnabled(False) |
721 UI.PixmapCache.getIcon("splitVertical.png"), |
|
722 self.trUtf8('New Document View (with new split)'), |
|
723 self.__newViewNewSplit) |
|
724 self.menuActs["NewSplit"].setEnabled(self.vm.canSplit()) |
722 self.menu.addAction( |
725 self.menu.addAction( |
723 UI.PixmapCache.getIcon("close.png"), |
726 UI.PixmapCache.getIcon("close.png"), |
724 self.trUtf8('Close'), self.__contextClose) |
727 self.trUtf8('Close'), self.__contextClose) |
725 self.menu.addSeparator() |
728 self.menu.addSeparator() |
726 self.menuActs["Save"] = self.menu.addAction( |
729 self.menuActs["Save"] = self.menu.addAction( |
4625 else: |
4628 else: |
4626 self.menuActs["OpenRejections"].setEnabled(False) |
4629 self.menuActs["OpenRejections"].setEnabled(False) |
4627 |
4630 |
4628 self.menuActs["MonospacedFont"].setEnabled(self.lexer_ is None) |
4631 self.menuActs["MonospacedFont"].setEnabled(self.lexer_ is None) |
4629 |
4632 |
|
4633 splitOrientation = self.vm.getSplitOrientation() |
|
4634 if splitOrientation == Qt.Horizontal: |
|
4635 self.menuActs["NewSplit"].setIcon( |
|
4636 UI.PixmapCache.getIcon("splitHorizontal.png")) |
|
4637 else: |
|
4638 self.menuActs["NewSplit"].setIcon( |
|
4639 UI.PixmapCache.getIcon("splitVertical.png")) |
|
4640 |
4630 self.showMenu.emit("Main", self.menu, self) |
4641 self.showMenu.emit("Main", self.menu, self) |
4631 |
4642 |
4632 def __showContextMenuAutocompletion(self): |
4643 def __showContextMenuAutocompletion(self): |
4633 """ |
4644 """ |
4634 Private slot called before the autocompletion menu is shown. |
4645 Private slot called before the autocompletion menu is shown. |