package org.eclipse.jface.text; | |
/* | |
* (c) Copyright IBM Corp. 2000, 2001. | |
* All Rights Reserved. | |
*/ | |
/** | |
* For internal use only. Not API. <p> | |
* A document partitioner extension is for extending | |
* <code>IDocumentPartitioner</code> instances with new | |
* or revised functionality. | |
*/ | |
public interface IDocumentPartitionerExtension { | |
/** | |
* The document has been changed. The partitioner updates | |
* the document's partitioning and returns in which region the | |
* partition type has been changed. This method always returns | |
* the surrounding region. Will be called by the connected document | |
* and is not intended to be used by clients other than the connected | |
* document. | |
* | |
* @param event the event describing the document change | |
* @return the region of the document in which the partition type changed | |
*/ | |
IRegion documentChanged2(DocumentEvent event); | |
} |