FRAME_TOOL_BAR_BOTTOM_HEIGHT 1137 src/frame.h      (FRAME_TOOL_BAR_BOTTOM_HEIGHT (f))
FRAME_TOOL_BAR_BOTTOM_HEIGHT 3471 src/pgtkfns.c  			       - FRAME_TOOL_BAR_BOTTOM_HEIGHT (f)));
FRAME_TOOL_BAR_BOTTOM_HEIGHT 9126 src/w32fns.c   				     - FRAME_TOOL_BAR_BOTTOM_HEIGHT (f)));