()
| 415 | } |
| 416 | |
| 417 | private void historyUp() { |
| 418 | if ( history.size() == 0 ) |
| 419 | return; |
| 420 | if ( histLine == 0 ) // save current line |
| 421 | startedLine = getCmd(); |
| 422 | if ( histLine < history.size() ) { |
| 423 | histLine++; |
| 424 | showHistoryLine(); |
| 425 | } |
| 426 | } |
| 427 | |
| 428 | private void historyDown() { |
| 429 | if ( histLine == 0 ) |
no test coverage detected