()
| 228 | } |
| 229 | |
| 230 | private void historyUp() { |
| 231 | if ( history.size() == 0 ) |
| 232 | return; |
| 233 | if ( histLine == 0 ) // save current line |
| 234 | startedLine = line.toString(); |
| 235 | if ( histLine < history.size() ) { |
| 236 | histLine++; |
| 237 | showHistoryLine(); |
| 238 | } |
| 239 | } |
| 240 | private void historyDown() { |
| 241 | if ( histLine == 0 ) |
| 242 | return; |
no test coverage detected