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