WINDOW_BOX_TEXT_HEIGHT 12726 src/xdisp.c      int old_height = WINDOW_BOX_TEXT_HEIGHT (w);
WINDOW_BOX_TEXT_HEIGHT 12855 src/xdisp.c      return WINDOW_BOX_TEXT_HEIGHT (w) != old_height;
WINDOW_BOX_TEXT_HEIGHT 18618 src/xdisp.c    	  height = WINDOW_BOX_TEXT_HEIGHT (w);
WINDOW_BOX_TEXT_HEIGHT 18735 src/xdisp.c    	      height = WINDOW_BOX_TEXT_HEIGHT (w);
WINDOW_BOX_TEXT_HEIGHT 20277 src/xdisp.c    	      pt_offset = float_amount * WINDOW_BOX_TEXT_HEIGHT (w);