window_body_height 1177 src/window.c   	  (window_body_height (decode_live_window (window),
window_body_height 3722 src/window.c   	    = window_body_height (w, WINDOW_BODY_IN_PIXELS);
window_body_height 3972 src/window.c   		 || (window_body_height (w, WINDOW_BODY_IN_PIXELS)
window_body_height 4849 src/window.c   			- window_body_height (m, WINDOW_BODY_IN_PIXELS))
window_body_height 5336 src/window.c     int old_height = window_body_height (w, WINDOW_BODY_IN_PIXELS);
window_body_height 5370 src/window.c     int delta = (window_body_height (w, WINDOW_BODY_IN_PIXELS)
window_body_height 1212 src/window.h   extern int window_body_height (struct window *w, enum window_body_unit);
window_body_height 3646 src/xdisp.c      int height = window_body_height (w, WINDOW_BODY_IN_CANONICAL_CHARS);