x_change_tab_bar_height 1778 src/xfns.c         x_change_tab_bar_height (f, nlines * FRAME_LINE_HEIGHT (f));
x_change_tab_bar_height 31909 src/xterm.c      terminal->change_tab_bar_height_hook = x_change_tab_bar_height;
x_change_tab_bar_height 1905 src/xterm.h    extern void x_change_tab_bar_height (struct frame *, int);