Eclipse Platform
Release 3.0

org.eclipse.jface.text
Interface IDocumentPartitioningListenerExtension


public interface IDocumentPartitioningListenerExtension

Extension interface for IDocumentPartitioningListener.

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
 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.

In version 3.0, this method has been replaced with IDocumentPartitioningListenerExtension2.documentPartitioningChanged(DocumentPartitioningChangedEvent).

Parameters:
document - the document whose partitioning changed
region - the region in which the partitioning changed
See Also:
IDocumentPartitioningListenerExtension2.documentPartitioningChanged(DocumentPartitioningChangedEvent), IDocument.addDocumentPartitioningListener(IDocumentPartitioningListener)

Eclipse Platform
Release 3.0

Guidelines for using Eclipse APIs.

Copyright (c) IBM Corp. and others 2000, 2004. All rights reserved.