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.jface.text.rules.RuleBasedScanner;
import org.eclipse.jface.util.IPropertyChangeListener;
import org.eclipse.jface.util.PropertyChangeEvent;
*/
public IDocumentPartitioner createPHPPartitioner() {
// return new DefaultPartitioner(getPHPPartitionScanner(), TYPES);
- return new DefaultPartitioner(getPHPPartitionScanner(),
+ return new /*DefaultPartitioner*/FastPartitioner(getPHPPartitionScanner(),
LEGAL_CONTENT_TYPES);
}
// return jspScriptScanner;
// }
private IDocumentPartitioner createSmartyPartitioner() {
- return new DefaultPartitioner(getSmartyPartitionScanner(),
+ return new /*DefaultPartitioner*/FastPartitioner(getSmartyPartitionScanner(),
XMLTextTools.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.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);
}
/**