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