org.eclipse.emf.edit.ui.provider
Class ExtendedFontRegistry
java.lang.Object
org.eclipse.emf.edit.ui.provider.ExtendedFontRegistry
public class ExtendedFontRegistry
- extends java.lang.Object
A font registry for turning a font description into an actual font object.
- See Also:
IItemFontProvider
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
INSTANCE
public static final ExtendedFontRegistry INSTANCE
display
protected Display display
table
protected java.util.HashMap<java.util.Collection<?>,Font> table
ExtendedFontRegistry
public ExtendedFontRegistry()
ExtendedFontRegistry
public ExtendedFontRegistry(Display display)
getFont
public Font getFont(Font baseFont,
java.lang.Object object)
handleDisplayDispose
protected void handleDisplayDispose()
hookDisplayDispose
protected void hookDisplayDispose(Display display)