From d2f6140b4b70c7d624c72debfe8197cbef6a0243 Mon Sep 17 00:00:00 2001 From: David Inglis Date: Fri, 1 Apr 2005 19:07:30 +0000 Subject: [PATCH] use new Partitioner --- .../internal/ui/editor/MakefileDocumentSetupParticipant.java | 4 ++-- .../internal/ui/editor/MakefileStorageDocumentProvider.java | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/build/org.eclipse.cdt.make.ui/src/org/eclipse/cdt/make/internal/ui/editor/MakefileDocumentSetupParticipant.java b/build/org.eclipse.cdt.make.ui/src/org/eclipse/cdt/make/internal/ui/editor/MakefileDocumentSetupParticipant.java index 912fd2e3130..aa821376aee 100644 --- a/build/org.eclipse.cdt.make.ui/src/org/eclipse/cdt/make/internal/ui/editor/MakefileDocumentSetupParticipant.java +++ b/build/org.eclipse.cdt.make.ui/src/org/eclipse/cdt/make/internal/ui/editor/MakefileDocumentSetupParticipant.java @@ -16,7 +16,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; /** * MakefileDocumentSetupParticipant @@ -45,7 +45,7 @@ public class MakefileDocumentSetupParticipant implements IDocumentSetupParticip } private IDocumentPartitioner createDocumentPartitioner() { - return new DefaultPartitioner( + return new FastPartitioner( new MakefilePartitionScanner(), MakefilePartitionScanner.MAKE_PARTITIONS); } } diff --git a/build/org.eclipse.cdt.make.ui/src/org/eclipse/cdt/make/internal/ui/editor/MakefileStorageDocumentProvider.java b/build/org.eclipse.cdt.make.ui/src/org/eclipse/cdt/make/internal/ui/editor/MakefileStorageDocumentProvider.java index 81b75b4ccac..120270da6c5 100644 --- a/build/org.eclipse.cdt.make.ui/src/org/eclipse/cdt/make/internal/ui/editor/MakefileStorageDocumentProvider.java +++ b/build/org.eclipse.cdt.make.ui/src/org/eclipse/cdt/make/internal/ui/editor/MakefileStorageDocumentProvider.java @@ -15,7 +15,7 @@ import org.eclipse.cdt.make.internal.ui.text.makefile.MakefilePartitionScanner; 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; import org.eclipse.ui.editors.text.StorageDocumentProvider; /** @@ -41,7 +41,7 @@ public class MakefileStorageDocumentProvider extends StorageDocumentProvider { } private IDocumentPartitioner createDocumentPartitioner() { - return new DefaultPartitioner( + return new FastPartitioner( new MakefilePartitionScanner(), MakefilePartitionScanner.MAKE_PARTITIONS); }