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