Package org.eclipse.jface.text
Interface IDocumentPartitioningListenerExtension
-
public interface IDocumentPartitioningListenerExtensionExtension 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 voiddocumentPartitioningChanged(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)
-
-