public interface IDocumentPartitioningListenerExtension2
IDocumentPartitioningListener.
Replaces the previous notification mechanisms by introducing an explicit document partitioning changed event.
DocumentPartitioningChangedEvent| Modifier and Type | Method and Description |
|---|---|
void |
documentPartitioningChanged(DocumentPartitioningChangedEvent event)
Signals the change of document partitionings.
|
void documentPartitioningChanged(DocumentPartitioningChangedEvent event)
This method replaces
IDocumentPartitioningListener.documentPartitioningChanged(IDocument)
and
documentPartitioningChanged(DocumentPartitioningChangedEvent).
event - the event describing the changeIDocument.addDocumentPartitioningListener(IDocumentPartitioningListener)Guidelines for using Eclipse APIs. Copyright (c) IBM Corp. and others 2000, 2006. All rights reserved.