|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--javax.swing.undo.AbstractUndoableEdit | +--javax.swing.undo.CompoundEdit | +--javax.swing.undo.UndoManager | +--edu.rice.cs.drjava.ui.DefinitionsPane.OurUndoManager
Is used to be able to call editToBeUndone and editToBeRedone since they are protected methods in UndoManager
Fields inherited from class javax.swing.undo.UndoManager |
indexOfNextAdd, limit |
Fields inherited from class javax.swing.undo.CompoundEdit |
edits, inProgress |
Fields inherited from class javax.swing.undo.AbstractUndoableEdit |
alive, hasBeenDone, RedoName, UndoName |
Methods inherited from class javax.swing.undo.UndoManager |
addEdit, canRedo, canUndo, canUndoOrRedo, discardAllEdits, editToBeRedone, editToBeUndone, end, getLimit, getRedoPresentationName, getUndoOrRedoPresentationName, getUndoPresentationName, redo, redoTo, setLimit, toString, trimEdits, trimForLimit, undo, undoableEditHappened, undoOrRedo, undoTo |
Methods inherited from class javax.swing.undo.CompoundEdit |
die, getPresentationName, isInProgress, isSignificant, lastEdit |
Methods inherited from class javax.swing.undo.AbstractUndoableEdit |
replaceEdit |
Methods inherited from class java.lang.Object |
|
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |