()
| 388 | |
| 389 | |
| 390 | private void enter() { |
| 391 | String s = getCmd(); |
| 392 | |
| 393 | if ( s.length() == 0 ) // special hack for empty return! |
| 394 | s = ";\n"; |
| 395 | else { |
| 396 | history.addElement( s ); |
| 397 | s = s +"\n"; |
| 398 | } |
| 399 | |
| 400 | append("\n"); |
| 401 | histLine = 0; |
| 402 | acceptLine( s ); |
| 403 | text.repaint(); |
| 404 | } |
| 405 | |
| 406 | private String getCmd() { |
| 407 | String s = ""; |
no test coverage detected