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);