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 19209 src/xdisp.c    	top_scroll_margin += CURRENT_HEADER_LINE_HEIGHT (w);
CURRENT_HEADER_LINE_HEIGHT 20143 src/xdisp.c    		window_height += CURRENT_HEADER_LINE_HEIGHT (w);
CURRENT_HEADER_LINE_HEIGHT 20777 src/xdisp.c    	  && CURRENT_HEADER_LINE_HEIGHT (w) != DESIRED_HEADER_LINE_HEIGHT (w))
CURRENT_HEADER_LINE_HEIGHT 20986 src/xdisp.c    	top_scroll_margin += CURRENT_HEADER_LINE_HEIGHT (w);
CURRENT_HEADER_LINE_HEIGHT 22340 src/xdisp.c          top_scroll_margin += CURRENT_HEADER_LINE_HEIGHT (w);