w32_change_tool_bar_height 1806 src/w32fns.c     w32_change_tool_bar_height (f, nlines * FRAME_LINE_HEIGHT (f));
w32_change_tool_bar_height 7541 src/w32term.c    terminal->change_tool_bar_height_hook = w32_change_tool_bar_height;
w32_change_tool_bar_height  236 src/w32term.h  extern void w32_change_tool_bar_height (struct frame *, int);