public interface IDocumentPartitioningListenerExtension
IDocumentPartitioningListener
.
Replaces the original notification mechanism by telling the listener the minimal region that comprises all partitioning changes.
IDocumentPartitionerExtension
Modifier and Type | Method and Description |
---|---|
void |
documentPartitioningChanged(IDocument document,
IRegion region)
The partitioning of the given document changed in the given region.
|
void documentPartitioningChanged(IDocument document, IRegion region)
In version 3.0, this method has been replaced with
IDocumentPartitioningListenerExtension2.documentPartitioningChanged(DocumentPartitioningChangedEvent)
.
document
- the document whose partitioning changedregion
- the region in which the partitioning changedIDocumentPartitioningListenerExtension2.documentPartitioningChanged(DocumentPartitioningChangedEvent)
,
IDocument.addDocumentPartitioningListener(IDocumentPartitioningListener)
Copyright (c) 2000, 2014 Eclipse Contributors and others. All rights reserved.Guidelines for using Eclipse APIs.