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.