public class DeferredFontProperty extends FontProperty
Constructor and Description |
---|
DeferredFontProperty(PropertyManager manager,
java.lang.String key,
java.awt.Font defaultFont) |
Modifier and Type | Method and Description |
---|---|
java.awt.Font |
getDefault() |
void |
resetDefault() |
clearCache, getFont, setFont
addChangeListener, fireChangeEvent, getKey, getProperty, removeChangeListener, setProperty
public DeferredFontProperty(PropertyManager manager, java.lang.String key, java.awt.Font defaultFont)
public void resetDefault()
public java.awt.Font getDefault()
getDefault
in class FontProperty
TV-Browser 3.4.1.0, Copyright (C) 2004-2008 TV-Browser Team (dev@tvbrowser.org)