Start line:  
End line:  

Snippet Preview

Snippet HTML Code

Stack Overflow Questions
Copyright (c) 2000, 2005 IBM Corporation and others. All rights reserved. This program and the accompanying materials are made available under the terms of the Eclipse Public License v1.0 which accompanies this distribution, and is available at http://www.eclipse.org/legal/epl-v10.html Contributors: IBM Corporation - Initial implementation /
package org.eclipse.ant.internal.ui.editor.text;

Since:
3.0
	/*
	 * @see org.eclipse.ui.editors.text.StorageDocumentProvider#setupDocument(java.lang.Object,
	 *      org.eclipse.jface.text.IDocument)
	 */
	protected void setupDocument(Object elementIDocument document) {
		if (document != null) {
			if (document instanceof IDocumentExtension3) {
				IDocumentExtension3 extension3= (IDocumentExtension3document;
else {
				document.setDocumentPartitioner(partitioner);
			}
			partitioner.connect(document);
		}
	}
		return new FastPartitioner(
	}
New to GrepCode? Check out our FAQ X