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 19207 src/xdisp.c top_scroll_margin += CURRENT_TAB_LINE_HEIGHT (w); CURRENT_TAB_LINE_HEIGHT 20141 src/xdisp.c window_height += CURRENT_TAB_LINE_HEIGHT (w); CURRENT_TAB_LINE_HEIGHT 20766 src/xdisp.c && CURRENT_TAB_LINE_HEIGHT (w) != DESIRED_TAB_LINE_HEIGHT (w)) CURRENT_TAB_LINE_HEIGHT 20988 src/xdisp.c top_scroll_margin += CURRENT_TAB_LINE_HEIGHT (w); CURRENT_TAB_LINE_HEIGHT 22342 src/xdisp.c top_scroll_margin += CURRENT_TAB_LINE_HEIGHT (w);