mauda.undoredo
Class AnimatedUndoRedo

java.lang.Object
  mauda.undoredo.UndoRedo
      mauda.undoredo.AnimatedUndoRedo

All Implemented Interfaces:

ExerciseUpdateListener

public class AnimatedUndoRedo
extends UndoRedo

UndoRedo which animates redo-actions

Author:

Markus Krebs

Constructor Summary

AnimatedUndoRedo(Exercise exercise)
Creates a UndoRedo-Handler.

Method Summary

Methods inherited from class mauda.undoredo.UndoRedo

canBack, canForward, canRedo, canUndo, clear, exerciseUpdate, getDSObject, getEntry, getRedoJumpDelta, getUndoJumpDelta, initialSnapshot, toString

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

AnimatedUndoRedo

public AnimatedUndoRedo(Exercise exercise)

Creates a UndoRedo-Handler.

Parameters:

exercise - Exercise