Package org.eclipse.text.undo
Class DocumentUndoManagerRegistry
java.lang.Object
org.eclipse.text.undo.DocumentUndoManagerRegistry
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.
-
Method Summary
Modifier and TypeMethodDescriptionstatic void
Connects the file at the given location to this manager.static void
disconnect
(IDocument document) Disconnects the given document from this registry.static IDocumentUndoManager
getDocumentUndoManager
(IDocument document) Returns the file buffer managed for the given location ornull
if there is no such file buffer.
-
Method Details
-
connect
Connects the file at the given location to this manager. After that call successfully completed it is guaranteed that each call togetFileBuffer
returns the same file buffer untildisconnect
is called.The recoding of changes starts with the first
connect(IDocument)
.- Parameters:
document
- the document to be connected
-
disconnect
Disconnects the given document from this registry.- Parameters:
document
- the document to be disconnected
-
getDocumentUndoManager
Returns the file buffer managed for the given location ornull
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
-