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

Packages that use UndoManager
Package
Description
Buffer event listeners, and classes used to implement jEdit's document model.