comparison make-dist @ 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 836cfa8829a7
children 6191acd134b6
comparison
equal deleted inserted replaced
7743:0e058c7168b6 7744:da18793f532d