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);
}
/**