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 | |
| 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')
2 files changed, 4 insertions, 4 deletions
diff --git a/org.eclipse.ui.examples.javaeditor/Eclipse Java Editor Example/org/eclipse/ui/examples/javaeditor/JavaDocumentSetupParticipant.java b/org.eclipse.ui.examples.javaeditor/Eclipse Java Editor Example/org/eclipse/ui/examples/javaeditor/JavaDocumentSetupParticipant.java index 3c468a93402..c0bf267148f 100644 --- a/org.eclipse.ui.examples.javaeditor/Eclipse Java Editor Example/org/eclipse/ui/examples/javaeditor/JavaDocumentSetupParticipant.java +++ b/org.eclipse.ui.examples.javaeditor/Eclipse Java Editor Example/org/eclipse/ui/examples/javaeditor/JavaDocumentSetupParticipant.java @@ -15,7 +15,7 @@ import org.eclipse.core.filebuffers.IDocumentSetupParticipant; import org.eclipse.jface.text.IDocument; import org.eclipse.jface.text.IDocumentExtension3; import org.eclipse.jface.text.IDocumentPartitioner; -import org.eclipse.jface.text.rules.DefaultPartitioner; +import org.eclipse.jface.text.rules.FastPartitioner; /** * @@ -33,7 +33,7 @@ public class JavaDocumentSetupParticipant implements IDocumentSetupParticipant { public void setup(IDocument document) { if (document instanceof IDocumentExtension3) { IDocumentExtension3 extension3= (IDocumentExtension3) document; - IDocumentPartitioner partitioner= new DefaultPartitioner(JavaEditorExamplePlugin.getDefault().getJavaPartitionScanner(), JavaPartitionScanner.JAVA_PARTITION_TYPES); + IDocumentPartitioner partitioner= new FastPartitioner(JavaEditorExamplePlugin.getDefault().getJavaPartitionScanner(), JavaPartitionScanner.JAVA_PARTITION_TYPES); extension3.setDocumentPartitioner(JavaEditorExamplePlugin.JAVA_PARTITIONING, partitioner); partitioner.connect(document); } 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, |