diff options
| author | teicher | 2005-01-31 08:38:09 +0000 |
|---|---|---|
| committer | teicher | 2005-01-31 08:38:09 +0000 |
| commit | 27c3edc3c8ba9821bf112b1037673728136a655e (patch) | |
| tree | 7bcb8ca73fe224c3239d5c22456f8296c69da27a /org.eclipse.ui.examples.javaeditor/Template Editor Example/org | |
| parent | 47dcabe2fee1a7b1ba64f9cd53cf7c71020a0c2d (diff) | |
| download | eclipse.platform.text-27c3edc3c8ba9821bf112b1037673728136a655e.tar.gz eclipse.platform.text-27c3edc3c8ba9821bf112b1037673728136a655e.tar.xz eclipse.platform.text-27c3edc3c8ba9821bf112b1037673728136a655e.zip | |
FastPartitioner: new optimized Partitioner replacing DefaultPartitioner. see buildnotes_text.html for a summary of the changes.
Diffstat (limited to 'org.eclipse.ui.examples.javaeditor/Template Editor Example/org')
| -rw-r--r-- | org.eclipse.ui.examples.javaeditor/Template Editor Example/org/eclipse/ui/examples/templateeditor/editors/XMLDocumentProvider.java | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/org.eclipse.ui.examples.javaeditor/Template Editor Example/org/eclipse/ui/examples/templateeditor/editors/XMLDocumentProvider.java b/org.eclipse.ui.examples.javaeditor/Template Editor Example/org/eclipse/ui/examples/templateeditor/editors/XMLDocumentProvider.java index c1da4536b3e..01b6e19b610 100644 --- a/org.eclipse.ui.examples.javaeditor/Template Editor Example/org/eclipse/ui/examples/templateeditor/editors/XMLDocumentProvider.java +++ b/org.eclipse.ui.examples.javaeditor/Template Editor Example/org/eclipse/ui/examples/templateeditor/editors/XMLDocumentProvider.java @@ -13,7 +13,7 @@ package org.eclipse.ui.examples.templateeditor.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.jface.text.rules.FastPartitioner; import org.eclipse.ui.editors.text.FileDocumentProvider; public class XMLDocumentProvider extends FileDocumentProvider { @@ -22,7 +22,7 @@ public class XMLDocumentProvider extends FileDocumentProvider { IDocument document = super.createDocument(element); if (document != null) { IDocumentPartitioner partitioner = - new DefaultPartitioner( + new FastPartitioner( new XMLPartitionScanner(), new String[] { XMLPartitionScanner.XML_TAG, |