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);