workspace
Class ReundoManager
java.lang.Object
workspace.ReundoManager
- All Implemented Interfaces:
- WorkspaceListener
public class ReundoManager
- extends java.lang.Object
- implements WorkspaceListener
RedoUndoManager manges the redoing and undoing for the WorkspaceController.
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
ReundoManager
public ReundoManager(ISupportMemento managedClass)
reset
public void reset()
addManagedClass
public void addManagedClass(ISupportMemento anotherManagedClass)
workspaceEventOccurred
public void workspaceEventOccurred(WorkspaceEvent event)
- Description copied from interface:
WorkspaceListener
- Invoked whenever any of the enumerated events specified within
WorkspaceEvent occur. We leave it to the implementor to look
at the event type and determine what to do from there. We chose this
design so that listeners need not implement all X methods, where X is the
number of workspace events.
- Specified by:
workspaceEventOccurred
in interface WorkspaceListener
- Parameters:
event
- WorkspaceEvent object holding information regarding the triggered
event.
undo
public void undo()
redo
public void redo()
canUndo
public boolean canUndo()
canRedo
public boolean canRedo()
getUndoText
public java.lang.String getUndoText()
getRedoText
public java.lang.String getRedoText()