()
| 840 | } |
| 841 | |
| 842 | void cut() { |
| 843 | if (copy()) { |
| 844 | int start = ta.getSelectionStart(); |
| 845 | int end = ta.getSelectionEnd(); |
| 846 | ta.replaceRange("", start-offset(start), end-offset(end-2>=start?end-2:start)); |
| 847 | if (IJ.isMacOSX()) |
| 848 | ta.setCaretPosition(start); |
| 849 | } |
| 850 | } |
| 851 | |
| 852 | private void assignToRepeatCommand() { |
| 853 | String title = getTitle(); |
no test coverage detected