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, mayHaveChildrengetLongLabel, getToolTipText, toStringclone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, waitgetAttributedLabel, getLongLabel, getToolTipText, toStringpublic HistoryElement(HistoryEntry entry)
entry - the entry to wrap.public HistoryEntry getEntry()
public java.lang.String getShortLabel()
getShortLabel in interface DisplayablegetShortLabel in class DefaultDisplayableDisplayable.getShortLabel()public javax.swing.Icon getIcon()
DefaultDisplayablegetIcon in interface DisplayablegetIcon in class DefaultDisplayableIcon to be displayed for the
Displayable.Displayable.getIcon()