CURRENT_TAB_LINE_HEIGHT 3798 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 1016 src/window.h      ? CURRENT_TAB_LINE_HEIGHT (W)	\
CURRENT_TAB_LINE_HEIGHT 1465 src/xdisp.c    	*box_y += CURRENT_TAB_LINE_HEIGHT (w);
CURRENT_TAB_LINE_HEIGHT 19001 src/xdisp.c    	top_scroll_margin += CURRENT_TAB_LINE_HEIGHT (w);
CURRENT_TAB_LINE_HEIGHT 19935 src/xdisp.c    		window_height += CURRENT_TAB_LINE_HEIGHT (w);
CURRENT_TAB_LINE_HEIGHT 20560 src/xdisp.c    	  && CURRENT_TAB_LINE_HEIGHT (w) != DESIRED_TAB_LINE_HEIGHT (w))
CURRENT_TAB_LINE_HEIGHT 20782 src/xdisp.c    	top_scroll_margin += CURRENT_TAB_LINE_HEIGHT (w);
CURRENT_TAB_LINE_HEIGHT 22136 src/xdisp.c          top_scroll_margin += CURRENT_TAB_LINE_HEIGHT (w);