* Contributors:
* Igor Malinin - initial contribution
*
- * $Id: DTDDocumentProvider.java,v 1.2 2005-05-06 00:55:41 stefanbjarni Exp $
+ * $Id: DTDDocumentProvider.java,v 1.3 2006-10-21 23:14:13 pombredanne Exp $
*/
package net.sourceforge.phpeclipse.xml.ui.internal.text;
import org.eclipse.jface.text.IDocument;
import org.eclipse.jface.text.IDocumentPartitioner;
-
/**
* 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);
}
}