FRAME_TOOL_BAR_TOP_HEIGHT 2227 src/dispnew.c  		       ? FRAME_TOOL_BAR_TOP_HEIGHT (f) : 0));
FRAME_TOOL_BAR_TOP_HEIGHT 1127 src/frame.h       + FRAME_TOOL_BAR_TOP_HEIGHT (F))
FRAME_TOOL_BAR_TOP_HEIGHT 3467 src/pgtkfns.c  			       + FRAME_TOOL_BAR_TOP_HEIGHT (f)
FRAME_TOOL_BAR_TOP_HEIGHT 9122 src/w32fns.c   				     + FRAME_TOOL_BAR_TOP_HEIGHT (f)