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 4788 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);