diff make-dist @ 25255:29c5c79b1483

(set_window_height, set_window_width): If window starts out "too small", set its too_small_ok flag. If window's too_small_ok flag is set, don't delete it unless it is so small it would cause a crash.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 13 Aug 1999 21:24:35 +0000
parents 3171bf7ae0ff
children 8a1730e677fe
line wrap: on
line diff