import org.eclipse.jface.preference.IPreferenceStore;
import org.eclipse.jface.text.IDocumentPartitioner;
-import org.eclipse.jface.text.rules.DefaultPartitioner;
+//import org.eclipse.jface.text.rules.DefaultPartitioner;
+import org.eclipse.jface.text.rules.FastPartitioner;
import org.eclipse.jface.text.rules.IPartitionTokenScanner;
import org.eclipse.jface.text.rules.RuleBasedScanner;
*
*/
public IDocumentPartitioner createDTDPartitioner() {
- return new DefaultPartitioner(dtdPartitionScanner, TYPES);
+ return new /*DefaultPartitioner*/FastPartitioner(dtdPartitionScanner, TYPES);
}
/**
import org.eclipse.jface.preference.IPreferenceStore;
import org.eclipse.jface.text.IDocumentPartitioner;
-import org.eclipse.jface.text.rules.DefaultPartitioner;
+//import org.eclipse.jface.text.rules.DefaultPartitioner;
+import org.eclipse.jface.text.rules.FastPartitioner;
import org.eclipse.jface.text.rules.ITokenScanner;
import org.eclipse.jface.text.rules.RuleBasedScanner;
*
*/
public IDocumentPartitioner createXMLPartitioner() {
- return new DefaultPartitioner(xmlPartitionScanner, TYPES);
+ return new /*DefaultPartitioner*/FastPartitioner(xmlPartitionScanner, TYPES);
}
public IDocumentPartitioner createPHPXMLPartitioner() {
- return new DefaultPartitioner(phpXMLPartitionScanner, TYPES);
+ return new /*DefaultPartitioner*/FastPartitioner(phpXMLPartitionScanner, TYPES);
}
/**