FRAME_TOOL_BAR_TOP_LINES 2230 src/dispnew.c  		      ? FRAME_TOOL_BAR_TOP_LINES (f) : 0));
FRAME_TOOL_BAR_TOP_LINES 1120 src/frame.h       + FRAME_TOOL_BAR_TOP_LINES (F))