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
IDocumentPartitioningListenerExtension.documentPartitioningChanged(IDocument, IRegion)
event
- the event describing the changeIDocument.addDocumentPartitioningListener(IDocumentPartitioningListener)
Copyright (c) 2000, 2014 Eclipse Contributors and others. All rights reserved.Guidelines for using Eclipse APIs.