Logged In: YES
user_id=885594

Hi,

the relevant place is tools.java which says:

public static Set getAvailableFontFamilyNames() {
if (availableFontFamilyNames == null) {
GraphicsEnvironment gEnv =
GraphicsEnvironment.getLocalGraphicsEnvironment();
String envFonts[] =
gEnv.getAvailableFontFamilyNames();
availableFontFamilyNames = new HashSet();
for (int i=0; i<envFonts.length; i++) {
availableFontFamilyNames.add(envFonts[i]); }
// Add this one explicitly, Java defaults to it if
the font is not
availableFontFamilyNames.add("dialog"); }
return availableFontFamilyNames; }

public static Vector getAvailableFontFamilyNamesAsVector() {
GraphicsEnvironment gEnv =
GraphicsEnvironment.getLocalGraphicsEnvironment();
String envFonts[] = gEnv.getAvailableFontFamilyNames();
Vector availableFontFamilyNames = new Vector();
for (int i=0; i<envFonts.length; i++) {
availableFontFamilyNames.add(envFonts[i]); }
return availableFontFamilyNames; }

public static boolean isAvailableFontFamily(String
fontFamilyName) {
return
getAvailableFontFamilyNames().contains(fontFamilyName); }

Can you correct these lines?

Chris