Package org.eclipse.jface.text

Interface IDocumentPartitioningListenerExtension

public interface IDocumentPartitioningListenerExtension

Extension interface for IDocumentPartitioningListener.

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

Modifier and Type	Method	Description
void	documentPartitioningChanged(IDocument document, IRegion region)	The partitioning of the given document changed in the given region.

Method Details

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 changed

region - the region in which the partitioning changed

See Also:

• IDocumentPartitioningListenerExtension2.documentPartitioningChanged(DocumentPartitioningChangedEvent)
• IDocument.addDocumentPartitioningListener(IDocumentPartitioningListener)