diff src/w32xfns.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 600578f35004
children b7aa6ac26872
line wrap: on
line diff