DESIRED_HEADER_LINE_HEIGHT 20777 src/xdisp.c    	  && CURRENT_HEADER_LINE_HEIGHT (w) != DESIRED_HEADER_LINE_HEIGHT (w))
DESIRED_HEADER_LINE_HEIGHT 20782 src/xdisp.c    	    = DESIRED_HEADER_LINE_HEIGHT (w);