+++ /dev/null
-package net.sourceforge.phpeclipse.editors;
-
-import org.eclipse.core.runtime.CoreException;
-import org.eclipse.jface.text.IDocument;
-import org.eclipse.jface.text.IDocumentPartitioner;
-import org.eclipse.jface.text.rules.DefaultPartitioner;
-import org.eclipse.ui.editors.text.FileDocumentProvider;
-
-public class PHPDocumentProvider extends FileDocumentProvider {
-
- /**
- * Constructor for XMLDocumentProvider.
- */
- public PHPDocumentProvider() {
- super();
- }
-
- /* (non-Javadoc)
- * Method declared on AbstractDocumentProvider
- */
- protected IDocument createDocument(Object element) throws CoreException {
- IDocument document = super.createDocument(element);
- if (document != null) {
- IDocumentPartitioner partitioner =
- new DefaultPartitioner(
- new PHPPartitionScanner(),
- new String[] {
- PHPPartitionScanner.HTML_TAG,
- PHPPartitionScanner.HTML_COMMENT });
- partitioner.connect(document);
- document.setDocumentPartitioner(partitioner);
- }
- return document;
- }
-}
\ No newline at end of file