public class HistoryState.HistoryManager
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
protected boolean |
entered |
protected java.lang.Class<? extends Settings>[] |
historySettings |
protected boolean |
leaved |
protected int |
toolHistoryLevel |
Modifier | Constructor and Description |
---|---|
protected |
HistoryManager(int toolHistoryLevel,
java.lang.Class<? extends Settings>... historySettings) |
Modifier and Type | Method and Description |
---|---|
protected void |
acceptLevelHistory() |
protected void |
checkStateIsValid() |
protected void |
discardLevelHistory() |
void |
redoState() |
void |
saveState() |
HistoryState.HistoryManager |
startLevelHistory() |
void |
undoState() |
protected int toolHistoryLevel
@NonNull protected java.lang.Class<? extends Settings>[] historySettings
protected boolean entered
protected boolean leaved
@SafeVarargs protected HistoryManager(int toolHistoryLevel, @NonNull java.lang.Class<? extends Settings>... historySettings)
public HistoryState.HistoryManager startLevelHistory()
protected void checkStateIsValid()
protected void acceptLevelHistory()
protected void discardLevelHistory()
public void saveState()
public void redoState()
public void undoState()