01: /*******************************************************************************
02: * Copyright (c) 2000, 2005 IBM Corporation and others.
03: * All rights reserved. This program and the accompanying materials
04: * are made available under the terms of the Eclipse Public License v1.0
05: * which accompanies this distribution, and is available at
06: * http://www.eclipse.org/legal/epl-v10.html
07: *
08: * Contributors:
09: * IBM Corporation - initial API and implementation
10: *******************************************************************************/package org.eclipse.jface.text;
11:
12: /**
13: * Extension interface for
14: * {@link org.eclipse.jface.text.IDocumentPartitioningListener}.
15: * <p>
16: * Replaces the original notification mechanism by telling the listener the
17: * minimal region that comprises all partitioning changes.
18: *
19: * @see org.eclipse.jface.text.IDocumentPartitionerExtension
20: * @since 2.0
21: */
22: public interface IDocumentPartitioningListenerExtension {
23:
24: /**
25: * The partitioning of the given document changed in the given region.
26: * <p>
27: * In version 3.0, this method has been replaced with
28: * {@link IDocumentPartitioningListenerExtension2#documentPartitioningChanged(DocumentPartitioningChangedEvent)}.
29: *
30: * @param document the document whose partitioning changed
31: * @param region the region in which the partitioning changed
32: * @see IDocumentPartitioningListenerExtension2#documentPartitioningChanged(DocumentPartitioningChangedEvent)
33: * @see IDocument#addDocumentPartitioningListener(IDocumentPartitioningListener)
34: */
35: void documentPartitioningChanged(IDocument document, IRegion region);
36: }
|