(String text)
| 1317 | } |
| 1318 | |
| 1319 | public void insertText(String text) { |
| 1320 | if (ta==null) return; |
| 1321 | int start = ta.getSelectionStart( ); |
| 1322 | ta.replaceRange(" "+text+"\n", start, start); |
| 1323 | } |
| 1324 | |
| 1325 | public void keyTyped(KeyEvent e) { |
| 1326 | } |
no test coverage detected