grow_mini_window 5374 src/window.c       grow_mini_window (w, -delta);
grow_mini_window 1099 src/window.h   extern void grow_mini_window (struct window *, int);
grow_mini_window 12843 src/xdisp.c    	    grow_mini_window (w, height - old_height);
grow_mini_window 12849 src/xdisp.c    	grow_mini_window (w, height - old_height);