FONT_HEIGHT 2779 src/androidterm.c else if (FONT_HEIGHT (s->font) < s->height - 2 * box_line_width FONT_HEIGHT 1628 src/dispextern.h + (FRAME_LINE_HEIGHT ((F)) - FONT_HEIGHT ((FONT)) \ FONT_HEIGHT 1629 src/dispextern.h + (FRAME_LINE_HEIGHT ((F)) > FONT_HEIGHT ((FONT)))) / 2 \ FONT_HEIGHT 594 src/ftcrfont.c s->width, FONT_HEIGHT (s->font)); FONT_HEIGHT 1110 src/haikufont.c int height = FONT_HEIGHT (s->font), ascent = FONT_BASE (s->font); FONT_HEIGHT 1129 src/haikuterm.c if (FONT_HEIGHT (s->font) < s->height - 2 * box_vline_width FONT_HEIGHT 1387 src/pgtkterm.c else if (FONT_HEIGHT (s->font) < s->height - 2 * box_line_width FONT_HEIGHT 450 src/sfntfont-android.c background.height = FONT_HEIGHT (s->font); FONT_HEIGHT 1280 src/w32term.c if (FONT_HEIGHT (s->font) < s->height - 2 * box_line_width FONT_HEIGHT 2287 src/xdisp.c int height = FONT_HEIGHT (FRAME_FONT (f)); FONT_HEIGHT 23723 src/xdisp.c (stretch_height * FONT_BASE (font)) / FONT_HEIGHT (font); FONT_HEIGHT 23820 src/xdisp.c * FONT_BASE (font)) / FONT_HEIGHT (font)); FONT_HEIGHT 29498 src/xdisp.c fprintf (stderr, " font height = %d\n", FONT_HEIGHT (s->font)); FONT_HEIGHT 31743 src/xdisp.c ascent = (height * FONT_BASE (font)) / FONT_HEIGHT (font); FONT_HEIGHT 31874 src/xdisp.c * FONT_BASE (font)) / FONT_HEIGHT (font)); FONT_HEIGHT 32399 src/xdisp.c / FONT_HEIGHT (font)); FONT_HEIGHT 5112 src/xfaces.c last_height = FONT_HEIGHT (face->font); FONT_HEIGHT 5126 src/xfaces.c if ((delta < 0 && FONT_HEIGHT (new_face->font) < last_height) FONT_HEIGHT 5127 src/xfaces.c || (delta > 0 && FONT_HEIGHT (new_face->font) > last_height)) FONT_HEIGHT 5130 src/xfaces.c last_height = FONT_HEIGHT (new_face->font); FONT_HEIGHT 1016 src/xfont.c int height = FONT_HEIGHT (s->font), ascent = FONT_BASE (s->font); FONT_HEIGHT 530 src/xftfont.c int height = FONT_HEIGHT (s->font), ascent = FONT_BASE (s->font); FONT_HEIGHT 558 src/xftfont.c int height = FONT_HEIGHT (s->font), ascent = FONT_BASE (s->font); FONT_HEIGHT 8541 src/xterm.c else if (FONT_HEIGHT (s->font) < s->height - 2 * box_line_width