src/share/classes/sun/font/SunFontManager.java

Print this page

        

*** 760,770 **** physicalFonts.put(fontName, f); FontFamily family = FontFamily.getFamily(familyName); if (family == null) { family = new FontFamily(familyName, false, rank); family.setFont(f, f.style); ! } else if (family.getRank() >= rank) { family.setFont(f, f.style); } fullNameToFont.put(fontName.toLowerCase(Locale.ENGLISH), f); return f; } else { --- 760,770 ---- physicalFonts.put(fontName, f); FontFamily family = FontFamily.getFamily(familyName); if (family == null) { family = new FontFamily(familyName, false, rank); family.setFont(f, f.style); ! } else { family.setFont(f, f.style); } fullNameToFont.put(fontName.toLowerCase(Locale.ENGLISH), f); return f; } else {
*** 851,861 **** FontFamily family = FontFamily.getFamily(familyName); if (family == null) { family = new FontFamily(familyName, false, rank); family.setFont(newFont, newFont.style); ! } else if (family.getRank() >= rank) { family.setFont(newFont, newFont.style); } return newFont; } else { return oldFont; --- 851,861 ---- FontFamily family = FontFamily.getFamily(familyName); if (family == null) { family = new FontFamily(familyName, false, rank); family.setFont(newFont, newFont.style); ! } else { family.setFont(newFont, newFont.style); } return newFont; } else { return oldFont;