org.eclipse.jface.text
Interface IDocumentPartitioningListener

public interface IDocumentPartitioningListener

Interface of objects which are interested in getting informed about changes of a document's partitioning. Clients may implement this interface.

See Also:

IDocument, IDocumentPartitioner

Method Summary

void	documentPartitioningChanged(IDocument document) The partitioning of the given document changed.

Method Detail

documentPartitioningChanged

public void documentPartitioningChanged(IDocument document)

The partitioning of the given document changed.

Parameters:

document - the document whose partitioning changed

See Also:

IDocument.addDocumentPartitioningListener(org.eclipse.jface.text.IDocumentPartitioningListener)