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    1392 src/pgtkterm.c 	       || FONT_TOO_HIGH (s->font)
FONT_TOO_HIGH    1285 src/w32term.c  	       || FONT_TOO_HIGH (s->font)
FONT_TOO_HIGH    30125 src/xdisp.c      if (FONT_TOO_HIGH (font))
FONT_TOO_HIGH    32329 src/xdisp.c    		  if (FONT_TOO_HIGH (font))
FONT_TOO_HIGH    32449 src/xdisp.c    	      if (FONT_TOO_HIGH (font))
FONT_TOO_HIGH    32554 src/xdisp.c    	      if (FONT_TOO_HIGH (font))
FONT_TOO_HIGH    32600 src/xdisp.c          if (FONT_TOO_HIGH (font))
FONT_TOO_HIGH    8546 src/xterm.c    	       || FONT_TOO_HIGH (s->font)