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.