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

Print this page




3219             if (fullName == null) {
3220                 fullName = dirName + File.separator + ls[i];
3221             }
3222 
3223             // REMIND: case compare depends on platform
3224             if (registeredFontFiles.contains(fullName)) {
3225                 continue;
3226             }
3227 
3228             if (badFonts != null && badFonts.contains(fullName)) {
3229                 if (FontUtilities.debugFonts()) {
3230                     FontUtilities.getLogger()
3231                                          .warning("skip bad font " + fullName);
3232                 }
3233                 continue; // skip this font file.
3234             }
3235 
3236             registeredFontFiles.add(fullName);
3237 
3238             if (FontUtilities.debugFonts()
3239                 && FontUtilities.getLogger().isLoggable(PlatformLogger.INFO)) {
3240                 String message = "Registering font " + fullName;
3241                 String[] natNames = getNativeNames(fullName, null);
3242                 if (natNames == null) {
3243                     message += " with no native name";
3244                 } else {
3245                     message += " with native name(s) " + natNames[0];
3246                     for (int nn = 1; nn < natNames.length; nn++) {
3247                         message += ", " + natNames[nn];
3248                     }
3249                 }
3250                 FontUtilities.getLogger().info(message);
3251             }
3252             fontNames[fontCount] = fullName;
3253             nativeNames[fontCount++] = getNativeNames(fullName, null);
3254         }
3255         registerFonts(fontNames, nativeNames, fontCount, fontFormat,
3256                          useJavaRasterizer, fontRank, defer);
3257         return;
3258     }
3259 




3219             if (fullName == null) {
3220                 fullName = dirName + File.separator + ls[i];
3221             }
3222 
3223             // REMIND: case compare depends on platform
3224             if (registeredFontFiles.contains(fullName)) {
3225                 continue;
3226             }
3227 
3228             if (badFonts != null && badFonts.contains(fullName)) {
3229                 if (FontUtilities.debugFonts()) {
3230                     FontUtilities.getLogger()
3231                                          .warning("skip bad font " + fullName);
3232                 }
3233                 continue; // skip this font file.
3234             }
3235 
3236             registeredFontFiles.add(fullName);
3237 
3238             if (FontUtilities.debugFonts()
3239                 && FontUtilities.getLogger().isLoggable(PlatformLogger.Level.INFO)) {
3240                 String message = "Registering font " + fullName;
3241                 String[] natNames = getNativeNames(fullName, null);
3242                 if (natNames == null) {
3243                     message += " with no native name";
3244                 } else {
3245                     message += " with native name(s) " + natNames[0];
3246                     for (int nn = 1; nn < natNames.length; nn++) {
3247                         message += ", " + natNames[nn];
3248                     }
3249                 }
3250                 FontUtilities.getLogger().info(message);
3251             }
3252             fontNames[fontCount] = fullName;
3253             nativeNames[fontCount++] = getNativeNames(fullName, null);
3254         }
3255         registerFonts(fontNames, nativeNames, fontCount, fontFormat,
3256                          useJavaRasterizer, fontRank, defer);
3257         return;
3258     }
3259