Package org.eclipse.jface.text
Interface IDocumentPartitioningListenerExtension
-
public interface IDocumentPartitioningListenerExtension
Extension interface forIDocumentPartitioningListener
.Replaces the original notification mechanism by telling the listener the minimal region that comprises all partitioning changes.
- Since:
- 2.0
- See Also:
IDocumentPartitionerExtension
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description void
documentPartitioningChanged(IDocument document, IRegion region)
The partitioning of the given document changed in the given region.
-
-
-
Method Detail
-
documentPartitioningChanged
void documentPartitioningChanged(IDocument document, IRegion region)
The partitioning of the given document changed in the given region.In version 3.0, this method has been replaced with
IDocumentPartitioningListenerExtension2.documentPartitioningChanged(DocumentPartitioningChangedEvent)
.- Parameters:
document
- the document whose partitioning changedregion
- the region in which the partitioning changed- See Also:
IDocumentPartitioningListenerExtension2.documentPartitioningChanged(DocumentPartitioningChangedEvent)
,IDocument.addDocumentPartitioningListener(IDocumentPartitioningListener)
-
-