public class DelegatingFontPreferences extends FontPreferences
DEFAULT_FONT_NAME, DEFAULT_FONT_SIZE, DEFAULT_LINE_SPACING, FALLBACK_FONT_FAMILY, JETBRAINS_MONO, LINUX_DEFAULT_FONT_FAMILY, MAC_OS_DEFAULT_FONT_FAMILY, WINDOWS_DEFAULT_FONT_FAMILY| Constructor and Description |
|---|
DelegatingFontPreferences(java.util.function.Supplier<? extends FontPreferences> delegateSupplier) |
| Modifier and Type | Method and Description |
|---|---|
void |
copyTo(FontPreferences preferences) |
java.util.List<java.lang.String> |
getEffectiveFontFamilies() |
java.lang.String |
getFontFamily() |
float |
getLineSpacing() |
java.util.List<java.lang.String> |
getRealFontFamilies() |
int |
getSize(java.lang.String fontFamily) |
boolean |
hasSize(java.lang.String fontName) |
boolean |
useLigatures() |
getDefaultFontName, getFallbackNamepublic DelegatingFontPreferences(java.util.function.Supplier<? extends FontPreferences> delegateSupplier)
public java.util.List<java.lang.String> getEffectiveFontFamilies()
getEffectiveFontFamilies in class FontPreferencespublic java.util.List<java.lang.String> getRealFontFamilies()
getRealFontFamilies in class FontPreferencespublic java.lang.String getFontFamily()
getFontFamily in class FontPreferencespublic int getSize(java.lang.String fontFamily)
getSize in class FontPreferencespublic void copyTo(FontPreferences preferences)
copyTo in class FontPreferencespublic boolean useLigatures()
useLigatures in class FontPreferencespublic boolean hasSize(java.lang.String fontName)
hasSize in class FontPreferencespublic float getLineSpacing()
getLineSpacing in class FontPreferences