Uses of Class
org.gjt.sp.jedit.buffer.UndoManager
-
Packages that use UndoManager Package Description 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 Modifier and Type Field Description protected UndoManager
JEditBuffer. undoMgr
-