Package org.eclipse.jface.text

Interface IDocumentPartitioningListenerExtension2

public interface IDocumentPartitioningListenerExtension2

Extension interface to IDocumentPartitioningListener.

Replaces the previous notification mechanisms by introducing an explicit document partitioning changed event.

Since:

3.0

See Also:

• DocumentPartitioningChangedEvent

Method Summary

Modifier and Type	Method	Description
void	documentPartitioningChanged(DocumentPartitioningChangedEvent event)	Signals the change of document partitionings.

Method Details

documentPartitioningChanged

void documentPartitioningChanged(DocumentPartitioningChangedEvent event)

Signals the change of document partitionings.

This method replaces IDocumentPartitioningListener.documentPartitioningChanged(IDocument) and IDocumentPartitioningListenerExtension.documentPartitioningChanged(IDocument, IRegion)

Parameters:

event - the event describing the change

See Also:

• IDocument.addDocumentPartitioningListener(IDocumentPartitioningListener)