edu.rice.cs.drjava.ui
Class DefinitionsPane.UndoWithPosition

java.lang.Object
  |
  +--edu.rice.cs.drjava.ui.DefinitionsPane.UndoWithPosition
All Implemented Interfaces:
UndoableEdit
Enclosing class:
DefinitionsPane

private class DefinitionsPane.UndoWithPosition
extends Object
implements UndoableEdit

Wrapper for UndoableEdit that pairs UndoableEdits with their caret positions


Methods inherited from class java.lang.Object
, clone, equals, finalize, getClass, hashCode, notify, notifyAll, registerNatives, toString, wait, wait, wait