Lines Matching defs:jreFontDirName
196 public static String jreFontDirName;
354 jreFontDirName = jreLibDirName + File.separator + "fonts";
356 new File(jreFontDirName + File.separator + FontUtilities.LUCIDA_FILE_NAME);
379 new File(jreFontDirName + File.separator +
422 registerFontDir(jreFontDirName);
424 registerFontsInDir(jreFontDirName, true, Font2D.JRE_RANK,
484 logger.info("JRE font directory: " + jreFontDirName);
830 if (oldFont.platName.startsWith(jreFontDirName)) {
959 fileName = jreFontDirName + File.separator + fileName;
994 !dir.equals(jreFontDirName) ||
1032 dir.equals(jreFontDirName) &&
3398 jreFontDirName + File.separator + FontUtilities.LUCIDA_FILE_NAME;
3820 registerDeferredJREFonts(jreFontDirName);