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.
-
Uses of UndoManager in org.gjt.sp.jedit.buffer
Fields in org.gjt.sp.jedit.buffer declared as UndoManager