diff src/intervals.c @ 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 a1e434124570
children 6cc722b4ebed
line wrap: on
line diff