public class HistoryAction extends Object implements ActionListener
| Constructor and Description |
|---|
HistoryAction(org.jflux.api.core.Source<? extends HistoryStack> source,
int t) |
| Modifier and Type | Method and Description |
|---|---|
void |
actionPerformed(ActionEvent e) |
static HistoryAction |
Redo(org.jflux.api.core.Source<? extends HistoryStack> source) |
static HistoryAction |
Undo(org.jflux.api.core.Source<? extends HistoryStack> source) |
public HistoryAction(org.jflux.api.core.Source<? extends HistoryStack> source, int t)
label - source - t - public static HistoryAction Undo(org.jflux.api.core.Source<? extends HistoryStack> source)
source - public static HistoryAction Redo(org.jflux.api.core.Source<? extends HistoryStack> source)
source - public void actionPerformed(ActionEvent e)
actionPerformed in interface ActionListenerCopyright © 2011-2014. All Rights Reserved.