()
| 191 | } |
| 192 | |
| 193 | private void enter() { |
| 194 | String s; |
| 195 | if ( line.length() == 0 ) // special hack for empty return! |
| 196 | s = ";\n"; |
| 197 | else { |
| 198 | s = line +"\n"; |
| 199 | history.addElement( line.toString() ); |
| 200 | } |
| 201 | line.setLength( 0 ); |
| 202 | histLine = 0; |
| 203 | append("\n"); |
| 204 | textLength = getText().length(); // sync for safety |
| 205 | acceptLine( s ); |
| 206 | |
| 207 | setCaretPosition( textLength ); |
| 208 | } |
| 209 | |
| 210 | /* |
| 211 | Here's the really disguisting hack. |
no test coverage detected