01: /*******************************************************************************
02: * Copyright (c) 2000, 2006 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 to
14: * {@link org.eclipse.jface.text.IDocumentPartitioningListener}.
15: * <p>
16: *
17: * Replaces the previous notification mechanisms by introducing an explicit
18: * document partitioning changed event.
19: *
20: * @see org.eclipse.jface.text.DocumentPartitioningChangedEvent
21: * @since 3.0
22: */
23: public interface IDocumentPartitioningListenerExtension2 {
24:
25: /**
26: * Signals the change of document partitionings.
27: * <p>
28: * This method replaces
29: * {@link IDocumentPartitioningListener#documentPartitioningChanged(IDocument)}
30: * and
31: * {@link IDocumentPartitioningListenerExtension#documentPartitioningChanged(IDocument, IRegion)}
32: *
33: * @param event the event describing the change
34: * @see IDocument#addDocumentPartitioningListener(IDocumentPartitioningListener)
35: */
36: void documentPartitioningChanged(
37: DocumentPartitioningChangedEvent event);
38: }
|