org.eclipse.text.undo
Class DocumentUndoManagerRegistry
java.lang.Object
org.eclipse.text.undo.DocumentUndoManagerRegistry
-
public final class DocumentUndoManagerRegistry
- extends
Object
This document undo manager registry provides access to a document's
undo manager. In order to connect a document a document undo manager
call connect
. After that call has successfully completed
undo manager can be obtained via getDocumentUndoManager
.
The undo manager is created on the first connect and disposed on the last
disconnect, i.e. this registry keeps track of how often a undo manager is
connected and returns the same undo manager to each client as long as the
document is connected.
The recoding of changes starts with the first
connect(IDocument)
.
-
Since:
- 3.2
-
Restriction:
- This class is not intended to be instantiated by clients.
Methods inherited from class java.lang.
Object
|
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait
|
connect
public static void connect(
IDocument document)
- Connects the file at the given location to this manager. After that call
successfully completed it is guaranteed that each call to
getFileBuffer
returns the same file buffer until disconnect
is called.
The recoding of changes starts with the first
connect(IDocument)
.
-
-
Parameters:
-
document
- the document to be connected
disconnect
public static void disconnect(
IDocument document)
- Disconnects the given document from this registry.
-
-
Parameters:
-
document
- the document to be disconnected
getDocumentUndoManager
public static
IDocumentUndoManager getDocumentUndoManager(
IDocument document)
- Returns the file buffer managed for the given location or
null
if there is no such file buffer.
The provided location is either a full path of a workspace resource or
an absolute path in the local file system. The file buffer manager does
not resolve the location of workspace resources in the case of linked
resources.
-
-
Parameters:
-
document
- the document for which to get its undo manager
-
Returns:
- the document undo manager or
null
Guidelines for using Eclipse APIs.
Copyright (c) Eclipse contributors and others 2000, 2008. All rights reserved.