01: package org.enhydra.jawe;
02:
03: import java.util.List;
04:
05: /**
06: * Used to handle undo history.
07: *
08: * @author Sasa Bojanic
09: */
10: public interface UndoHistoryManager {
11:
12: void init(int maxHistory);
13:
14: void registerEvents(List xpdlInfoList, XPDLElementChangeInfo selEv);
15:
16: void undo();
17:
18: void redo();
19:
20: boolean canUndo();
21:
22: boolean canRedo();
23:
24: boolean isUndoOrRedoInProgress();
25:
26: public void cleanHistory();
27:
28: }
|