CURRENT_HEADER_LINE_HEIGHT 1396 src/window.c   	       && y < top_y + CURRENT_HEADER_LINE_HEIGHT (w)
CURRENT_HEADER_LINE_HEIGHT 1025 src/window.h      ? CURRENT_HEADER_LINE_HEIGHT (W)	\
CURRENT_HEADER_LINE_HEIGHT 1468 src/xdisp.c    	*box_y += CURRENT_HEADER_LINE_HEIGHT (w);
CURRENT_HEADER_LINE_HEIGHT 19201 src/xdisp.c    	top_scroll_margin += CURRENT_HEADER_LINE_HEIGHT (w);
CURRENT_HEADER_LINE_HEIGHT 20135 src/xdisp.c    		window_height += CURRENT_HEADER_LINE_HEIGHT (w);
CURRENT_HEADER_LINE_HEIGHT 20769 src/xdisp.c    	  && CURRENT_HEADER_LINE_HEIGHT (w) != DESIRED_HEADER_LINE_HEIGHT (w))
CURRENT_HEADER_LINE_HEIGHT 20978 src/xdisp.c    	top_scroll_margin += CURRENT_HEADER_LINE_HEIGHT (w);
CURRENT_HEADER_LINE_HEIGHT 22332 src/xdisp.c          top_scroll_margin += CURRENT_HEADER_LINE_HEIGHT (w);