org.semanticweb.HermiT.debugger
Class DerivationViewer.TextIcon
java.lang.Object
org.semanticweb.HermiT.debugger.DerivationViewer.TextIcon
- All Implemented Interfaces:
- java.io.Serializable, javax.swing.Icon
- Enclosing class:
- DerivationViewer
protected static class DerivationViewer.TextIcon
- extends java.lang.Object
- implements javax.swing.Icon, java.io.Serializable
- See Also:
- Serialized Form
Constructor Summary |
DerivationViewer.TextIcon(java.awt.Color background,
java.awt.Color foreground,
java.lang.String text,
java.awt.Font font)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
WIDTH
protected static final int WIDTH
- See Also:
- Constant Field Values
HEIGHT
protected static final int HEIGHT
- See Also:
- Constant Field Values
m_background
protected final java.awt.Color m_background
m_foreground
protected final java.awt.Color m_foreground
m_text
protected final java.lang.String m_text
m_font
protected final java.awt.Font m_font
DerivationViewer.TextIcon
public DerivationViewer.TextIcon(java.awt.Color background,
java.awt.Color foreground,
java.lang.String text,
java.awt.Font font)
getIconHeight
public int getIconHeight()
- Specified by:
getIconHeight
in interface javax.swing.Icon
getIconWidth
public int getIconWidth()
- Specified by:
getIconWidth
in interface javax.swing.Icon
paintIcon
public void paintIcon(java.awt.Component c,
java.awt.Graphics g,
int x,
int y)
- Specified by:
paintIcon
in interface javax.swing.Icon