display_tab_bar_line 14397 src/xdisp.c          display_tab_bar_line (&it, -1);
display_tab_bar_line 14543 src/xdisp.c    	  display_tab_bar_line (&it, height + h);
display_tab_bar_line 14549 src/xdisp.c    	display_tab_bar_line (&it, 0);