diff lispref/os.texi @ 46106:8ce1177d6f2e

(redisplay_internal): Make optional_new_start really work.
author Richard M. Stallman <rms@gnu.org>
date Mon, 01 Jul 2002 07:55:03 +0000
parents 7e937c00ff00
children b77938fad6d0
line wrap: on
line diff