()
| 724 | |
| 725 | |
| 726 | protected JMenu buildEditMenu() { |
| 727 | JMenu menu = new JMenu(Language.text("menu.edit")); |
| 728 | JMenuItem item; |
| 729 | |
| 730 | undoItem = Toolkit.newJMenuItem(undoAction = new UndoAction(), 'Z'); |
| 731 | menu.add(undoItem); |
| 732 | |
| 733 | redoItem = new JMenuItem(redoAction = new RedoAction()); |
| 734 | redoItem.setAccelerator(Toolkit.getKeyStrokeExt("menu.edit.redo")); |
| 735 | menu.add(redoItem); |
| 736 | |
| 737 | menu.addSeparator(); |
| 738 | |
| 739 | item = Toolkit.newJMenuItem(cutAction = new CutAction(), 'X'); |
| 740 | editMenuUpdatable.add(cutAction); |
| 741 | menu.add(item); |
| 742 | |
| 743 | item = Toolkit.newJMenuItem(copyAction = new CopyAction(), 'C'); |
| 744 | editMenuUpdatable.add(copyAction); |
| 745 | menu.add(item); |
| 746 | |
| 747 | item = Toolkit.newJMenuItemShift(copyAsHtmlAction = new CopyAsHtmlAction(), 'C'); |
| 748 | editMenuUpdatable.add(copyAsHtmlAction); |
| 749 | menu.add(item); |
| 750 | |
| 751 | item = Toolkit.newJMenuItem(pasteAction = new PasteAction(), 'V'); |
| 752 | editMenuUpdatable.add(pasteAction); |
| 753 | menu.add(item); |
| 754 | |
| 755 | item = Toolkit.newJMenuItem(Language.text("menu.edit.select_all"), 'A'); |
| 756 | item.addActionListener(e -> textarea.selectAll()); |
| 757 | menu.add(item); |
| 758 | |
| 759 | menu.addSeparator(); |
| 760 | |
| 761 | item = Toolkit.newJMenuItem(Language.text("menu.edit.auto_format"), 'T'); |
| 762 | item.addActionListener(e -> handleAutoFormat()); |
| 763 | menu.add(item); |
| 764 | |
| 765 | item = Toolkit.newJMenuItemExt("menu.edit.comment_uncomment"); |
| 766 | item.addActionListener(e -> handleCommentUncomment()); |
| 767 | menu.add(item); |
| 768 | |
| 769 | item = Toolkit.newJMenuItemExt("menu.edit.increase_indent"); |
| 770 | item.addActionListener(e -> handleIndentOutdent(true)); |
| 771 | menu.add(item); |
| 772 | |
| 773 | item = Toolkit.newJMenuItemExt("menu.edit.decrease_indent"); |
| 774 | item.addActionListener(e -> handleIndentOutdent(false)); |
| 775 | menu.add(item); |
| 776 | |
| 777 | menu.addSeparator(); |
| 778 | |
| 779 | item = Toolkit.newJMenuItem(Language.text("menu.edit.find"), 'F'); |
| 780 | item.addActionListener(e -> { |
| 781 | if (find == null) { |
| 782 | find = new FindReplace(Editor.this); |
| 783 | } |
no test coverage detected