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.IPartitionTokenScanner;
+//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);
}
/**
*
*/
- public IPartitionTokenScanner getDTDPartitionScanner() {
- return dtdPartitionScanner;
- }
+// public IPartitionTokenScanner getDTDPartitionScanner() {
+// return dtdPartitionScanner;
+// }
/**
* Returns a scanner which is configured to scan DTD text.