Package editor
Class TabSelectionHistoryItem
- java.lang.Object
-
- editor.TabSelectionHistoryItem
-
- All Implemented Interfaces:
StateEditable
public class TabSelectionHistoryItem extends Object implements StateEditable
-
-
Field Summary
-
Fields inherited from interface javax.swing.undo.StateEditable
RCSID
-
-
Constructor Summary
Constructors Constructor Description TabSelectionHistoryItem(NavigationHistory tabHistory, EditorHost prevTab, int prevCaretPos, EditorHost selectedTab, int caretPos)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description void
restoreState(Hashtable stateTable)
void
storeState(Hashtable stateTable)
-
-
-
Constructor Detail
-
TabSelectionHistoryItem
public TabSelectionHistoryItem(NavigationHistory tabHistory, EditorHost prevTab, int prevCaretPos, EditorHost selectedTab, int caretPos)
-
-
Method Detail
-
storeState
public void storeState(Hashtable stateTable)
- Specified by:
storeState
in interfaceStateEditable
-
restoreState
public void restoreState(Hashtable stateTable)
- Specified by:
restoreState
in interfaceStateEditable
-
-