FONT_TOO_HIGH    1130 src/haikuterm.c 	  || FONT_TOO_HIGH (s->font)
FONT_TOO_HIGH    1392 src/pgtkterm.c 	       || FONT_TOO_HIGH (s->font)
FONT_TOO_HIGH    1285 src/w32term.c  	       || FONT_TOO_HIGH (s->font)
FONT_TOO_HIGH    29840 src/xdisp.c      if (FONT_TOO_HIGH (font))
FONT_TOO_HIGH    32012 src/xdisp.c    		  if (FONT_TOO_HIGH (font))
FONT_TOO_HIGH    32132 src/xdisp.c    	      if (FONT_TOO_HIGH (font))
FONT_TOO_HIGH    32237 src/xdisp.c    	      if (FONT_TOO_HIGH (font))
FONT_TOO_HIGH    32283 src/xdisp.c          if (FONT_TOO_HIGH (font))
FONT_TOO_HIGH    8273 src/xterm.c    	       || FONT_TOO_HIGH (s->font)