org.eclipse.jface.text
Interface IDocumentPartitioningListenerExtension

public interface IDocumentPartitioningListenerExtension

Extension interface for IDocumentPartitioningListener. Extends the original partitioning listener concept by telling the listener the minimal region that comprises all partitioning changes.

Since:

2.0

See Also:

IDocumentPartitionerExtension

Method Summary

void	documentPartitioningChanged(IDocument document, IRegion region) The partitioning of the given document changed in the given region.

Method Detail

documentPartitioningChanged

public void documentPartitioningChanged(IDocument document,
                                        IRegion region)

The partitioning of the given document changed in the given region.

Parameters:

document - the document whose partitioning changed

region - the region in which the partitioning changed

See Also:

IDocument.addDocumentPartitioningListener(org.eclipse.jface.text.IDocumentPartitioningListener)