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