FRAME_SMALLEST_FONT_HEIGHT 1750 src/dispnew.c        int ch_height = max (FRAME_SMALLEST_FONT_HEIGHT (f), 1);
FRAME_SMALLEST_FONT_HEIGHT 2743 src/font.c           FRAME_SMALLEST_FONT_HEIGHT (f) = height;
FRAME_SMALLEST_FONT_HEIGHT 2750 src/font.c           if (FRAME_SMALLEST_FONT_HEIGHT (f) > height)
FRAME_SMALLEST_FONT_HEIGHT 2751 src/font.c     	FRAME_SMALLEST_FONT_HEIGHT (f) = height, f->fonts_changed = 1;
FRAME_SMALLEST_FONT_HEIGHT 2781 src/xdisp.c          height = FRAME_SMALLEST_FONT_HEIGHT (f);