public class CommanderHistory
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
static int |
HISTORY_LIMIT |
Constructor and Description |
---|
CommanderHistory(Commander commander) |
Modifier and Type | Method and Description |
---|---|
void |
back() |
boolean |
canGoBack() |
boolean |
canGoForward() |
void |
clearHistory() |
void |
forward() |
void |
saveState(PsiElement element,
boolean isElementExpanded,
boolean isLeftPanel) |
public static final int HISTORY_LIMIT
public CommanderHistory(Commander commander)
public void clearHistory()
public void saveState(PsiElement element, boolean isElementExpanded, boolean isLeftPanel)
public void back()
public boolean canGoBack()
public void forward()
public boolean canGoForward()