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
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 changedregion
- the region in which the partitioning changed- See Also:
IDocument.addDocumentPartitioningListener(org.eclipse.jface.text.IDocumentPartitioningListener)
Copyright (c) IBM Corp. and others 2000, 2003. All Rights Reserved.