frame_default_tool_bar_height   78 src/frame.c    int frame_default_tool_bar_height;
frame_default_tool_bar_height 5839 src/frame.c          if (frame_default_tool_bar_height)
frame_default_tool_bar_height 5840 src/frame.c    	FRAME_TOOL_BAR_HEIGHT (f) = frame_default_tool_bar_height;
frame_default_tool_bar_height 1480 src/frame.h    extern int frame_default_tool_bar_height;
frame_default_tool_bar_height 15534 src/xdisp.c    	  frame_default_tool_bar_height = new_height;
frame_default_tool_bar_height 15658 src/xdisp.c    	      frame_default_tool_bar_height = new_height;