display_tab_bar_line 14370 src/xdisp.c          display_tab_bar_line (&it, -1);
display_tab_bar_line 14516 src/xdisp.c    	  display_tab_bar_line (&it, height + h);
display_tab_bar_line 14522 src/xdisp.c    	display_tab_bar_line (&it, 0);