grow_mini_window 5391 src/window.c grow_mini_window (w, -delta); grow_mini_window 1118 src/window.h extern void grow_mini_window (struct window *, int); grow_mini_window 12878 src/xdisp.c grow_mini_window (w, height - old_height); grow_mini_window 12884 src/xdisp.c grow_mini_window (w, height - old_height);