Package | Description |
---|---|
org.eclipse.text.undo |
Provides undo and redo support for a document.
|
Modifier and Type | Class and Description |
---|---|
class |
DocumentUndoManager
A standard implementation of a document-based undo manager that
creates an undo history based on changes to its document.
|
Modifier and Type | Method and Description |
---|---|
static IDocumentUndoManager |
DocumentUndoManagerRegistry.getDocumentUndoManager(IDocument document)
Returns the file buffer managed for the given location or
null
if there is no such file buffer. |
Modifier and Type | Method and Description |
---|---|
void |
IDocumentUndoManager.transferUndoHistory(IDocumentUndoManager manager)
Transfers the undo history from the specified document undo manager to
this undo manager.
|
void |
DocumentUndoManager.transferUndoHistory(IDocumentUndoManager manager) |
Copyright (c) 2000, 2014 Eclipse Contributors and others. All rights reserved.Guidelines for using Eclipse APIs.