diff man/mini.texi @ 40543:9461cfa8d18d

(grow_mini_window): Handle case that the root window is already smaller than the nominal mininum height.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 31 Oct 2001 10:06:10 +0000
parents de2f745df406
children 5be168598322
line wrap: on
line diff