} catch (Exception ignore) { }
}
}
return false;
}
<BUG>static public List<Font> getMonoFontList() {
</BUG>
GraphicsEnvironment ge =
GraphicsEnvironment.getLocalGraphicsEnvironment();
Font[] fonts = ge.getAllFonts();

} catch (Exception ignore) { }
}
}
return false;
}
static private List<Font> getMonoFontList() {
GraphicsEnvironment ge =
GraphicsEnvironment.getLocalGraphicsEnvironment();
Font[] fonts = ge.getAllFonts();
