pgtk_change_tab_bar_height  469 src/pgtkfns.c    pgtk_change_tab_bar_height (f, nlines * FRAME_LINE_HEIGHT (f));
pgtk_change_tab_bar_height 4790 src/pgtkterm.c   terminal->change_tab_bar_height_hook = pgtk_change_tab_bar_height;
pgtk_change_tab_bar_height  624 src/pgtkterm.h extern void pgtk_change_tab_bar_height (struct frame *, int);