diff src/w32bdf.c @ 25794:a6041d251b77

(resize_mini_window): Use grow_mini_window and shrink_mini_window.
author Gerd Moellmann <gerd@gnu.org>
date Thu, 23 Sep 1999 11:58:42 +0000
parents d2d412758428
children f6a8927824c9
line wrap: on
line diff