resize_mini_window_apply 5339 src/window.c   	resize_mini_window_apply (w, -XFIXNUM (grow));
resize_mini_window_apply 5369 src/window.c   	resize_mini_window_apply (w, -XFIXNUM (grow));
resize_mini_window_apply 5403 src/window.c         resize_mini_window_apply (w, delta);