comparison config.bat @ 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 827d4eface8f
children a723efe4f841
comparison
equal deleted inserted replaced
25253:2b995720c93e 25254:518d62d71d21