( String s )
| 767 | } |
| 768 | |
| 769 | private String showEvalString( String s ) { |
| 770 | s = s.replace('\n', ' '); |
| 771 | s = s.replace('\r', ' '); |
| 772 | if ( s.length() > 80 ) |
| 773 | s = s.substring( 0, 80 ) + " . . . "; |
| 774 | return s; |
| 775 | } |
| 776 | |
| 777 | // end source and eval |
| 778 |