Skip to main content
aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
authorteicher2005-01-31 08:38:09 +0000
committerteicher2005-01-31 08:38:09 +0000
commit27c3edc3c8ba9821bf112b1037673728136a655e (patch)
tree7bcb8ca73fe224c3239d5c22456f8296c69da27a /org.eclipse.ui.examples.javaeditor/Template Editor Example/org/eclipse/ui/examples
parent47dcabe2fee1a7b1ba64f9cd53cf7c71020a0c2d (diff)
downloadeclipse.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/eclipse/ui/examples')
-rw-r--r--org.eclipse.ui.examples.javaeditor/Template Editor Example/org/eclipse/ui/examples/templateeditor/editors/XMLDocumentProvider.java4
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 c1da4536b..01b6e19b6 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,

Back to the top