* Contributors:
* Igor Malinin - initial contribution
*
- * $Id: DTDDocumentProvider.java,v 1.1 2004-09-02 18:28:03 jsurfer Exp $
+ * $Id: DTDDocumentProvider.java,v 1.3 2006-10-21 23:14:13 pombredanne Exp $
*/
package net.sourceforge.phpeclipse.xml.ui.internal.text;
+import net.sourceforge.phpeclipse.xml.ui.XMLPlugin;
+
import org.eclipse.core.runtime.CoreException;
import org.eclipse.jface.text.IDocument;
import org.eclipse.jface.text.IDocumentPartitioner;
-import net.sourceforge.phpeclipse.xml.ui.XMLPlugin;
-
-
/**
* DTD document provider.
*
/*
* @see org.eclipse.ui.texteditor.AbstractDocumentProvider#createDocument(Object)
*/
- protected IDocument createDocument( Object element ) throws CoreException {
- IDocument document = super.createDocument( element );
- if ( document != null ) {
- IDocumentPartitioner partitioner = XMLPlugin
- .getDefault().getDTDTextTools().createDTDPartitioner();
+ protected IDocument createDocument(Object element) throws CoreException {
+ IDocument document = super.createDocument(element);
+ if (document != null) {
+ IDocumentPartitioner partitioner = XMLPlugin.getDefault()
+ .getDTDTextTools().createDTDPartitioner();
- if ( partitioner != null ) {
- partitioner.connect( document );
- document.setDocumentPartitioner( partitioner );
+ if (partitioner != null) {
+ partitioner.connect(document);
+ document.setDocumentPartitioner(partitioner);
}
}