Eclipse Platform
Release 3.0

org.eclipse.jface.text
Interface IDocumentPartitioningListenerExtension2


public interface IDocumentPartitioningListenerExtension2

Extension interface to IDocumentPartitioningListener.

Replaces the previous notification mechanisms by introducing an explicit document partitioning changed event.

Since:
3.0
See Also:
DocumentPartitioningChangedEvent

Method Summary
 void documentPartitioningChanged(DocumentPartitioningChangedEvent event)
          Signals the change of document partitionings.
 

Method Detail

documentPartitioningChanged

public void documentPartitioningChanged(DocumentPartitioningChangedEvent event)
Signals the change of document partitionings.

This method replaces IDocumentPartitioningListener.documentPartitioningChanged(IDocument) and documentPartitioningChanged(DocumentPartitioningChangedEvent).

Parameters:
event - the event describing the change
See Also:
IDocument.addDocumentPartitioningListener(IDocumentPartitioningListener)

Eclipse Platform
Release 3.0

Guidelines for using Eclipse APIs.

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