tvbrowser.core.settings
Class DeferredFontProperty

java.lang.Object
  util.settings.Property
      util.settings.FontProperty
          tvbrowser.core.settings.DeferredFontProperty

public class DeferredFontProperty
extends FontProperty

font property which only starts calculation of the preferred default font if the settings value is not available to improve performance

Author:

Bananeweizen

Constructor Summary

DeferredFontProperty(PropertyManager manager, java.lang.String key, java.awt.Font defaultFont)

Method Summary

java.awt.Font	getDefault()
void	resetDefault()

Methods inherited from class util.settings.FontProperty

clearCache, getFont, setFont

Methods inherited from class util.settings.Property

addChangeListener, fireChangeEvent, getKey, getProperty, removeChangeListener, setProperty

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DeferredFontProperty

public DeferredFontProperty(PropertyManager manager,
                            java.lang.String key,
                            java.awt.Font defaultFont)

Method Detail

resetDefault

public void resetDefault()

getDefault

public java.awt.Font getDefault()

Overrides:

getDefault in class FontProperty