()
| 96 | text = new JTextPane( doc=new DefaultStyledDocument() ) |
| 97 | { |
| 98 | public void cut() { |
| 99 | if (text.getCaretPosition() < cmdStart) { |
| 100 | super.copy(); |
| 101 | } else { |
| 102 | super.cut(); |
| 103 | } |
| 104 | } |
| 105 | |
| 106 | public void paste() { |
| 107 | forceCaretMoveToEnd(); |