1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-06-08 10:16:03 +02:00

use new Partitioner

This commit is contained in:
David Inglis 2005-04-01 19:07:30 +00:00
parent d151e913f6
commit d2f6140b4b
2 changed files with 4 additions and 4 deletions

View file

@ -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);
}
}

View file

@ -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);
}