CURRENT_TAB_LINE_HEIGHT 3830 src/dispnew.c  	  header_line_row->y = tab_line_row ? CURRENT_TAB_LINE_HEIGHT (w) : 0;
CURRENT_TAB_LINE_HEIGHT 1393 src/window.c   	       && y < top_y + CURRENT_TAB_LINE_HEIGHT (w)
CURRENT_TAB_LINE_HEIGHT 1398 src/window.c   		  ? CURRENT_TAB_LINE_HEIGHT (w)
CURRENT_TAB_LINE_HEIGHT 1035 src/window.h      ? CURRENT_TAB_LINE_HEIGHT (W)	\
CURRENT_TAB_LINE_HEIGHT 1466 src/xdisp.c    	*box_y += CURRENT_TAB_LINE_HEIGHT (w);
CURRENT_TAB_LINE_HEIGHT 19199 src/xdisp.c    	top_scroll_margin += CURRENT_TAB_LINE_HEIGHT (w);
CURRENT_TAB_LINE_HEIGHT 20133 src/xdisp.c    		window_height += CURRENT_TAB_LINE_HEIGHT (w);
CURRENT_TAB_LINE_HEIGHT 20758 src/xdisp.c    	  && CURRENT_TAB_LINE_HEIGHT (w) != DESIRED_TAB_LINE_HEIGHT (w))
CURRENT_TAB_LINE_HEIGHT 20980 src/xdisp.c    	top_scroll_margin += CURRENT_TAB_LINE_HEIGHT (w);
CURRENT_TAB_LINE_HEIGHT 22334 src/xdisp.c          top_scroll_margin += CURRENT_TAB_LINE_HEIGHT (w);