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()