Package org.eclipse.jface.text
Interface IDocumentPartitioningListenerExtension2
-
public interface IDocumentPartitioningListenerExtension2Extension interface toIDocumentPartitioningListener.Replaces the previous notification mechanisms by introducing an explicit document partitioning changed event.
- Since:
- 3.0
- See Also:
DocumentPartitioningChangedEvent
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description voiddocumentPartitioningChanged(DocumentPartitioningChangedEvent event)Signals the change of document partitionings.
-
-
-
Method Detail
-
documentPartitioningChanged
void documentPartitioningChanged(DocumentPartitioningChangedEvent event)
Signals the change of document partitionings.This method replaces
IDocumentPartitioningListener.documentPartitioningChanged(IDocument)andIDocumentPartitioningListenerExtension.documentPartitioningChanged(IDocument, IRegion)- Parameters:
event- the event describing the change- See Also:
IDocument.addDocumentPartitioningListener(IDocumentPartitioningListener)
-
-