CURRENT_HEADER_LINE_HEIGHT 1396 src/window.c   	       && y < top_y + CURRENT_HEADER_LINE_HEIGHT (w)
CURRENT_HEADER_LINE_HEIGHT 1006 src/window.h      ? CURRENT_HEADER_LINE_HEIGHT (W)	\
CURRENT_HEADER_LINE_HEIGHT 1467 src/xdisp.c    	*box_y += CURRENT_HEADER_LINE_HEIGHT (w);
CURRENT_HEADER_LINE_HEIGHT 19003 src/xdisp.c    	top_scroll_margin += CURRENT_HEADER_LINE_HEIGHT (w);
CURRENT_HEADER_LINE_HEIGHT 19937 src/xdisp.c    		window_height += CURRENT_HEADER_LINE_HEIGHT (w);
CURRENT_HEADER_LINE_HEIGHT 20571 src/xdisp.c    	  && CURRENT_HEADER_LINE_HEIGHT (w) != DESIRED_HEADER_LINE_HEIGHT (w))
CURRENT_HEADER_LINE_HEIGHT 20780 src/xdisp.c    	top_scroll_margin += CURRENT_HEADER_LINE_HEIGHT (w);
CURRENT_HEADER_LINE_HEIGHT 22134 src/xdisp.c          top_scroll_margin += CURRENT_HEADER_LINE_HEIGHT (w);