diff msdos/sed2.inp @ 7744:da18793f532d

(output_string): New function. (internal_flush): Use output_string for faster screen update. (internal_flush): Clear to end of line by writing a string of spaces.
author Richard M. Stallman <rms@gnu.org>
date Mon, 30 May 1994 09:14:39 +0000
parents 1405fe5b05e0
children d6a441681fb4
line wrap: on
line diff