Uses of Class
edu.rice.cs.drjava.ui.DefinitionsPane.OurUndoManager

Packages that use DefinitionsPane.OurUndoManager
edu.rice.cs.drjava.ui The ui package contains classes for the default user interface for DrJava. 
 

Uses of DefinitionsPane.OurUndoManager in edu.rice.cs.drjava.ui
 

Fields in edu.rice.cs.drjava.ui declared as DefinitionsPane.OurUndoManager
private  DefinitionsPane.OurUndoManager DefinitionsPane._undoManager