window_body_height 1177 src/window.c   	  (window_body_height (decode_live_window (window),
window_body_height 3719 src/window.c   	    = window_body_height (w, WINDOW_BODY_IN_PIXELS);
window_body_height 3966 src/window.c   		 || (window_body_height (w, WINDOW_BODY_IN_PIXELS)
window_body_height 4832 src/window.c   			- window_body_height (m, WINDOW_BODY_IN_PIXELS))
window_body_height 5319 src/window.c     int old_height = window_body_height (w, WINDOW_BODY_IN_PIXELS);
window_body_height 5353 src/window.c     int delta = (window_body_height (w, WINDOW_BODY_IN_PIXELS)
window_body_height 1186 src/window.h   extern int window_body_height (struct window *w, enum window_body_unit);
window_body_height 3633 src/xdisp.c      int height = window_body_height (w, WINDOW_BODY_IN_CANONICAL_CHARS);