public final class HistoryElement extends DefaultElement
Constructor and Description |
---|
HistoryElement(HistoryEntry entry)
Construct a HistoryElement wrapping the specified HistoryEntry.
|
Modifier and Type | Method and Description |
---|---|
HistoryEntry |
getEntry()
Get the wrapped history entry.
|
javax.swing.Icon |
getIcon()
This implementation returns a plain document icon.
|
java.lang.String |
getShortLabel()
Get the short label of this element.
|
getAttributes, getChildren, getData, mayHaveChildren
getLongLabel, getToolTipText, toString
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
getLongLabel, getToolTipText, toString
public HistoryElement(HistoryEntry entry)
entry
- the entry to wrap.public HistoryEntry getEntry()
public java.lang.String getShortLabel()
getShortLabel
in interface Displayable
getShortLabel
in class DefaultDisplayable
Displayable.getShortLabel()
public javax.swing.Icon getIcon()
DefaultDisplayable
getIcon
in interface Displayable
getIcon
in class DefaultDisplayable
Icon
to be displayed for the
Displayable
.Displayable.getIcon()