FRAME_PIXEL_TO_TEXT_HEIGHT 2125 src/androidterm.c 			 FRAME_PIXEL_TO_TEXT_HEIGHT (f, height),
FRAME_PIXEL_TO_TEXT_HEIGHT 6047 src/dispnew.c  			 FRAME_PIXEL_TO_TEXT_HEIGHT (f, new_height), 5,
FRAME_PIXEL_TO_TEXT_HEIGHT  506 src/frame.c    			     FRAME_PIXEL_TO_TEXT_HEIGHT (f, pixel_height), 1,
FRAME_PIXEL_TO_TEXT_HEIGHT  722 src/frame.c      new_text_height = FRAME_PIXEL_TO_TEXT_HEIGHT (f, new_native_height);
FRAME_PIXEL_TO_TEXT_HEIGHT 1358 src/gtkutil.c  			 FRAME_PIXEL_TO_TEXT_HEIGHT (f, height),
FRAME_PIXEL_TO_TEXT_HEIGHT 1005 src/pgtkterm.c 				  FRAME_PIXEL_TO_TEXT_HEIGHT (f, alloc.height));
FRAME_PIXEL_TO_TEXT_HEIGHT 28307 src/xterm.c    			 FRAME_PIXEL_TO_TEXT_HEIGHT (f, height),