w32_change_tab_bar_height 1718 src/w32fns.c     w32_change_tab_bar_height (f, nlines * FRAME_LINE_HEIGHT (f));
w32_change_tab_bar_height 7540 src/w32term.c    terminal->change_tab_bar_height_hook = w32_change_tab_bar_height;
w32_change_tab_bar_height  235 src/w32term.h  extern void w32_change_tab_bar_height (struct frame *, int);