FRAME_TEXT_LINES_TO_PIXEL_HEIGHT 1975 src/gtkutil.c    base_height = FRAME_TEXT_LINES_TO_PIXEL_HEIGHT (f, 1)
FRAME_TEXT_LINES_TO_PIXEL_HEIGHT  183 src/widget.c     *pixel_height = FRAME_TEXT_LINES_TO_PIXEL_HEIGHT (f, char_height);
FRAME_TEXT_LINES_TO_PIXEL_HEIGHT 29883 src/xterm.c        - FRAME_TEXT_LINES_TO_PIXEL_HEIGHT (f, 0);
FRAME_TEXT_LINES_TO_PIXEL_HEIGHT 29890 src/xterm.c        base_height = FRAME_TEXT_LINES_TO_PIXEL_HEIGHT (f, 0);