package org.eclipse.jface.text; | |
/* | |
* (c) Copyright IBM Corp. 2000, 2001. | |
* All Rights Reserved. | |
*/ | |
/** | |
* Interface of objects which are interested in getting informed | |
* about changes of a document's partitioning. Clients may | |
* implement this interface. | |
* | |
* @see IDocument | |
* @see IDocumentPartitioner | |
*/ | |
public interface IDocumentPartitioningListener { | |
/** | |
* The partitioning of the given document changed. | |
* | |
* @param document the document whose partitioning changed | |
* | |
* @see IDocument#addDocumentPartitioningListener | |
*/ | |
void documentPartitioningChanged(IDocument document); | |
} |