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 and Description
TabSelectionHistoryItem(NavigationHistory tabHistory, EditorHost prevTab, int prevCaretPos, EditorHost selectedTab, int caretPos)

Method Summary

Modifier and Type	Method and Description
void	restoreState(Hashtable stateTable)
void	storeState(Hashtable stateTable)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

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 interface StateEditable

restoreState

public void restoreState(Hashtable stateTable)

Specified by:

restoreState in interface StateEditable