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, getFallbackName
public DelegatingFontPreferences(java.util.function.Supplier<? extends FontPreferences> delegateSupplier)
public java.util.List<java.lang.String> getEffectiveFontFamilies()
getEffectiveFontFamilies
in class FontPreferences
public java.util.List<java.lang.String> getRealFontFamilies()
getRealFontFamilies
in class FontPreferences
public java.lang.String getFontFamily()
getFontFamily
in class FontPreferences
public int getSize(java.lang.String fontFamily)
getSize
in class FontPreferences
public void copyTo(FontPreferences preferences)
copyTo
in class FontPreferences
public boolean useLigatures()
useLigatures
in class FontPreferences
public boolean hasSize(java.lang.String fontName)
hasSize
in class FontPreferences
public float getLineSpacing()
getLineSpacing
in class FontPreferences