display_tab_bar  1165 src/xdisp.c    static void display_tab_bar (struct window *);
display_tab_bar  20833 src/xdisp.c                display_tab_bar (w);
display_tab_bar  20839 src/xdisp.c            display_tab_bar (w);