Uses of Interface
ides.api.undo.UndoManager

Packages that use UndoManager

ides.api.core

Uses of UndoManager in ides.api.core

Methods in ides.api.core that return UndoManager

static UndoManager

Hub.getUndoManager() Provides access to the Undo facility in IDES.