(String what)
| 1637 | |
| 1638 | |
| 1639 | public void insertText(String what) { |
| 1640 | startCompoundEdit(); |
| 1641 | int caret = getCaretOffset(); |
| 1642 | setSelection(caret, caret); |
| 1643 | textarea.setSelectedText(what); |
| 1644 | stopCompoundEdit(); |
| 1645 | } |
| 1646 | |
| 1647 | |
| 1648 | public String getSelectedText() { |
nothing calls this directly
no test coverage detected