FRAME_SMALLEST_FONT_HEIGHT 1756 src/dispnew.c        int ch_height = max (FRAME_SMALLEST_FONT_HEIGHT (f), 1);
FRAME_SMALLEST_FONT_HEIGHT 2773 src/font.c           FRAME_SMALLEST_FONT_HEIGHT (f) = height;
FRAME_SMALLEST_FONT_HEIGHT 2780 src/font.c           if (FRAME_SMALLEST_FONT_HEIGHT (f) > height)
FRAME_SMALLEST_FONT_HEIGHT 2781 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);