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)Guidelines for using Eclipse APIs. Copyright (c) IBM Corp. and others 2000, 2006. All rights reserved.