display_tab_bar_line 14405 src/xdisp.c          display_tab_bar_line (&it, -1);
display_tab_bar_line 14551 src/xdisp.c    	  display_tab_bar_line (&it, height + h);
display_tab_bar_line 14557 src/xdisp.c    	display_tab_bar_line (&it, 0);