WINDOW_BODY_IN_PIXELS 1045 src/window.c          : WINDOW_BODY_IN_PIXELS);
WINDOW_BODY_IN_PIXELS 2183 src/window.c       ? w->pixel_width : window_body_width (w, WINDOW_BODY_IN_PIXELS);
WINDOW_BODY_IN_PIXELS 3717 src/window.c   	    = window_body_width (w, WINDOW_BODY_IN_PIXELS);
WINDOW_BODY_IN_PIXELS 3719 src/window.c   	    = window_body_height (w, WINDOW_BODY_IN_PIXELS);
WINDOW_BODY_IN_PIXELS 3964 src/window.c   		 || (window_body_width (w, WINDOW_BODY_IN_PIXELS)
WINDOW_BODY_IN_PIXELS 3966 src/window.c   		 || (window_body_height (w, WINDOW_BODY_IN_PIXELS)
WINDOW_BODY_IN_PIXELS 4832 src/window.c   			- window_body_height (m, WINDOW_BODY_IN_PIXELS))
WINDOW_BODY_IN_PIXELS 5319 src/window.c     int old_height = window_body_height (w, WINDOW_BODY_IN_PIXELS);
WINDOW_BODY_IN_PIXELS 5353 src/window.c     int delta = (window_body_height (w, WINDOW_BODY_IN_PIXELS)