resize_mini_window_apply 5356 src/window.c   	resize_mini_window_apply (w, -XFIXNUM (grow));
resize_mini_window_apply 5386 src/window.c   	resize_mini_window_apply (w, -XFIXNUM (grow));
resize_mini_window_apply 5420 src/window.c         resize_mini_window_apply (w, delta);