public class HistoryChangedEvent
extends java.util.EventObject
HistoryChangedListener,
Serialized Form| Modifier and Type | Field and Description |
|---|---|
protected javax.swing.DefaultListModel |
m_History
the history model
|
protected java.lang.String |
m_HistoryName
the name of the history
|
| Constructor and Description |
|---|
HistoryChangedEvent(java.lang.Object source,
java.lang.String name,
javax.swing.DefaultListModel history)
constructs the event
|
| Modifier and Type | Method and Description |
|---|---|
javax.swing.DefaultListModel |
getHistory()
returns the history model
|
java.lang.String |
getHistoryName()
returns the name of the history
|
java.lang.String |
toString()
returns the event in a string representation
|
protected java.lang.String m_HistoryName
protected javax.swing.DefaultListModel m_History
public HistoryChangedEvent(java.lang.Object source,
java.lang.String name,
javax.swing.DefaultListModel history)
name - the name of the historyhistory - the model of the historypublic java.lang.String getHistoryName()
public javax.swing.DefaultListModel getHistory()
public java.lang.String toString()
toString in class java.util.EventObject