Eclipse Platform
2.0

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)

Eclipse Platform
2.0

Copyright (c) IBM Corp. and others 2000, 2002. All Rights Reserved.