ides.api.undo

Interfaces  UndoManager