public class XMLDocumentProvider extends FileDocumentProvider {
protected IDocument createDocument(Object element) throws CoreException {
IDocument document = super.createDocument(element);
if (document != null) {
IDocumentPartitioner partitioner = new DefaultPartitioner(new XMLPartitionScanner(),
new String[] {XMLPartitionScanner.XML_TAG, XMLPartitionScanner.XML_COMMENT});
partitioner.connect(document);
document.setDocumentPartitioner(partitioner);
// document.addDocumentListener(new IDocumentListener() {
//
// public void documentAboutToBeChanged(DocumentEvent event) {
// }