1
package org.vcs.bazaar.eclipse.ui.editors;
3
import org.eclipse.core.runtime.CoreException;
4
import org.eclipse.jface.text.IDocument;
5
import org.eclipse.jface.text.IDocumentPartitioner;
6
import org.eclipse.jface.text.rules.FastPartitioner;
7
import org.eclipse.ui.editors.text.FileDocumentProvider;
9
public class XMLDocumentProvider extends FileDocumentProvider {
11
protected IDocument createDocument(Object element) throws CoreException {
12
IDocument document = super.createDocument(element);
13
if (document != null) {
14
IDocumentPartitioner partitioner =
16
new XMLPartitionScanner(),
18
XMLPartitionScanner.XML_TAG,
19
XMLPartitionScanner.XML_COMMENT });
20
partitioner.connect(document);
21
document.setDocumentPartitioner(partitioner);
b'\\ No newline at end of file'