shrink_mini_window 1119 src/window.h   extern void shrink_mini_window (struct window *);
shrink_mini_window 12880 src/xdisp.c    	    shrink_mini_window (w);