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/Eclipse Java Editor Example/org/eclipse/ui | |
| 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/Eclipse Java Editor Example/org/eclipse/ui')
| -rw-r--r-- | org.eclipse.ui.examples.javaeditor/Eclipse Java Editor Example/org/eclipse/ui/examples/javaeditor/JavaDocumentSetupParticipant.java | 4 |
1 files changed, 2 insertions, 2 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 3c468a934..c0bf26714 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); } |