FONT_TOO_HIGH    2784 src/androidterm.c 	       || FONT_TOO_HIGH (s->font)
FONT_TOO_HIGH    1130 src/haikuterm.c 	  || FONT_TOO_HIGH (s->font)
FONT_TOO_HIGH    1389 src/pgtkterm.c 	       || FONT_TOO_HIGH (s->font)
FONT_TOO_HIGH    1285 src/w32term.c  	       || FONT_TOO_HIGH (s->font)
FONT_TOO_HIGH    30115 src/xdisp.c      if (FONT_TOO_HIGH (font))
FONT_TOO_HIGH    32316 src/xdisp.c    		  if (FONT_TOO_HIGH (font))
FONT_TOO_HIGH    32436 src/xdisp.c    	      if (FONT_TOO_HIGH (font))
FONT_TOO_HIGH    32541 src/xdisp.c    	      if (FONT_TOO_HIGH (font))
FONT_TOO_HIGH    32587 src/xdisp.c          if (FONT_TOO_HIGH (font))
FONT_TOO_HIGH    8488 src/xterm.c    	       || FONT_TOO_HIGH (s->font)