Uses of Class
org.gjt.sp.jedit.buffer.UndoManager.Remove

Packages that use UndoManager.Remove
org.gjt.sp.jedit.buffer Buffer event listeners, and classes used to implement jEdit's document model. 
 

Uses of UndoManager.Remove in org.gjt.sp.jedit.buffer
 

Fields in org.gjt.sp.jedit.buffer declared as UndoManager.Remove
protected  UndoManager.Remove[] KillRing.ring
           
 

Fields in org.gjt.sp.jedit.buffer with type parameters of type UndoManager.Remove
 java.util.List<UndoManager.Remove> KillRing.KillRingHandler.list