1 package tim.prune.undo;
3 import java.util.Stack;
6 * Stack of undo operations
7 * which also remembers how many times it's been cleared
9 public class UndoStack extends Stack<UndoOperation>
11 private int _numTimesDeleted = 0;
13 /** @return number of times this stack has been deleted */
14 public int getNumTimesDeleted() {
15 return _numTimesDeleted;