FRAME_SMALLEST_FONT_HEIGHT 1756 src/dispnew.c        int ch_height = max (FRAME_SMALLEST_FONT_HEIGHT (f), 1);
FRAME_SMALLEST_FONT_HEIGHT 2769 src/font.c           FRAME_SMALLEST_FONT_HEIGHT (f) = height;
FRAME_SMALLEST_FONT_HEIGHT 2776 src/font.c           if (FRAME_SMALLEST_FONT_HEIGHT (f) > height)
FRAME_SMALLEST_FONT_HEIGHT 2777 src/font.c     	FRAME_SMALLEST_FONT_HEIGHT (f) = height, f->fonts_changed = 1;
FRAME_SMALLEST_FONT_HEIGHT 2785 src/xdisp.c          height = FRAME_SMALLEST_FONT_HEIGHT (f);