DESIRED_HEADER_LINE_HEIGHT 20769 src/xdisp.c    	  && CURRENT_HEADER_LINE_HEIGHT (w) != DESIRED_HEADER_LINE_HEIGHT (w))
DESIRED_HEADER_LINE_HEIGHT 20774 src/xdisp.c    	    = DESIRED_HEADER_LINE_HEIGHT (w);