public interface IDocumentPartitioningListenerExtension2
Extension interface to IDocumentPartitioningListener.
IDocumentPartitioningListener
Replaces the previous notification mechanisms by introducing an explicit document partitioning changed event.
DocumentPartitioningChangedEvent
void
documentPartitioningChanged ( DocumentPartitioningChangedEvent event)
void documentPartitioningChanged( DocumentPartitioningChangedEvent event)
This method replaces IDocumentPartitioningListener.documentPartitioningChanged(IDocument) and IDocumentPartitioningListenerExtension.documentPartitioningChanged(IDocument, IRegion)
IDocumentPartitioningListener.documentPartitioningChanged(IDocument)
IDocumentPartitioningListenerExtension.documentPartitioningChanged(IDocument, IRegion)
event
IDocument.addDocumentPartitioningListener(IDocumentPartitioningListener)
Guidelines for using Eclipse APIs.
Copyright (c) Eclipse contributors and others 2000, 2008. All rights reserved.