WINDOW_BOX_TEXT_HEIGHT 12761 src/xdisp.c      int old_height = WINDOW_BOX_TEXT_HEIGHT (w);
WINDOW_BOX_TEXT_HEIGHT 12890 src/xdisp.c      return WINDOW_BOX_TEXT_HEIGHT (w) != old_height;
WINDOW_BOX_TEXT_HEIGHT 18824 src/xdisp.c    	  height = WINDOW_BOX_TEXT_HEIGHT (w);
WINDOW_BOX_TEXT_HEIGHT 18941 src/xdisp.c    	      height = WINDOW_BOX_TEXT_HEIGHT (w);
WINDOW_BOX_TEXT_HEIGHT 20483 src/xdisp.c    	      pt_offset = float_amount * WINDOW_BOX_TEXT_HEIGHT (w);