X-Git-Url: http://secure.phpeclipse.com diff --git a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/editors/PHPDocumentProvider.java b/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/editors/PHPDocumentProvider.java deleted file mode 100644 index 5bffbd3..0000000 --- a/net.sourceforge.phpeclipse/src/net/sourceforge/phpeclipse/editors/PHPDocumentProvider.java +++ /dev/null @@ -1,35 +0,0 @@ -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