/** * Returns the default font family. */ public String getDefaultFontFamily() { String s = (String)hints.get(KEY_DEFAULT_FONT_FAMILY); if (s != null) return s; return super.getDefaultFontFamily(); }
/** * Returns the default font family. */ public String getDefaultFontFamily() { String s = (String)hints.get(KEY_DEFAULT_FONT_FAMILY); if (s != null) return s; return super.getDefaultFontFamily(); }