frame_default_tool_bar_height   78 src/frame.c    int frame_default_tool_bar_height;
frame_default_tool_bar_height 5753 src/frame.c          if (frame_default_tool_bar_height)
frame_default_tool_bar_height 5754 src/frame.c    	FRAME_TOOL_BAR_HEIGHT (f) = frame_default_tool_bar_height;
frame_default_tool_bar_height 1325 src/frame.h    extern int frame_default_tool_bar_height;
frame_default_tool_bar_height 15407 src/xdisp.c    	  frame_default_tool_bar_height = new_height;
frame_default_tool_bar_height 15503 src/xdisp.c    	      frame_default_tool_bar_height = new_height;