Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES

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

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

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

Fields in org.gjt.sp.jedit.buffer declared as UndoManager
`protected UndoManager` | `JEditBuffer.undoMgr`

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
PREV NEXT | FRAMES NO FRAMES