WINDOW_BOX_TEXT_HEIGHT 12753 src/xdisp.c      int old_height = WINDOW_BOX_TEXT_HEIGHT (w);
WINDOW_BOX_TEXT_HEIGHT 12882 src/xdisp.c      return WINDOW_BOX_TEXT_HEIGHT (w) != old_height;
WINDOW_BOX_TEXT_HEIGHT 18816 src/xdisp.c    	  height = WINDOW_BOX_TEXT_HEIGHT (w);
WINDOW_BOX_TEXT_HEIGHT 18933 src/xdisp.c    	      height = WINDOW_BOX_TEXT_HEIGHT (w);
WINDOW_BOX_TEXT_HEIGHT 20475 src/xdisp.c    	      pt_offset = float_amount * WINDOW_BOX_TEXT_HEIGHT (w);