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
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)
Copyright (c) IBM Corp. and others 2000, 2003. All Rights Reserved.