comparison make-dist @ 25254:518d62d71d21

(MINSIZE): Removed. (window_min_size): New. (set_window_height): Use window_min_size. (change_window_height): Ditto.
author Gerd Moellmann <gerd@gnu.org>
date Fri, 13 Aug 1999 20:51:51 +0000
parents 3171bf7ae0ff
children 8a1730e677fe
comparison
equal deleted inserted replaced
25253:2b995720c93e 25254:518d62d71d21