()
| 246 | } |
| 247 | |
| 248 | private void showHistoryLine() { |
| 249 | String showline; |
| 250 | if ( histLine == 0 ) |
| 251 | showline = startedLine; |
| 252 | else |
| 253 | showline = (String)history.elementAt( history.size() - histLine ); |
| 254 | |
| 255 | replaceRange( showline, textLength-line.length(), textLength ); |
| 256 | line = new StringBuffer(showline); |
| 257 | textLength = getText().length(); |
| 258 | } |
| 259 | |
| 260 | private void acceptLine( String line ) { |
| 261 | if (outPipe == null ) |
no test coverage detected