equal
deleted
inserted
replaced
2617 */ |
2617 */ |
2618 oldFont.handle.font2D = newFont; |
2618 oldFont.handle.font2D = newFont; |
2619 physicalFonts.remove(oldFont.fullName); |
2619 physicalFonts.remove(oldFont.fullName); |
2620 fullNameToFont.remove(oldFont.fullName.toLowerCase(Locale.ENGLISH)); |
2620 fullNameToFont.remove(oldFont.fullName.toLowerCase(Locale.ENGLISH)); |
2621 FontFamily.remove(oldFont); |
2621 FontFamily.remove(oldFont); |
2622 if (oldFont instanceof FileFont) { |
|
2623 ((FileFont)oldFont).deregisterFontAndClearStrikeCache(); |
|
2624 } |
|
2625 |
|
2626 if (localeFullNamesToFont != null) { |
2622 if (localeFullNamesToFont != null) { |
2627 Map.Entry[] mapEntries = |
2623 Map.Entry[] mapEntries = |
2628 (Map.Entry[])localeFullNamesToFont.entrySet(). |
2624 (Map.Entry[])localeFullNamesToFont.entrySet(). |
2629 toArray(new Map.Entry[0]); |
2625 toArray(new Map.Entry[0]); |
2630 /* Should I be replacing these, or just I just remove |
2626 /* Should I be replacing these, or just I just remove |