use of org.dadacoalition.yedit.editor.ColorManager in project KaiZen-OpenAPI-Editor by RepreZen.
the class JsonDocumentProvider method createDocument.
@Override
protected IDocument createDocument(Object element) throws CoreException {
IDocument document = super.createDocument(element);
if (document != null) {
JsonScanner scanner = new JsonScanner(new ColorManager(), store);
Set<String> tokens = YAMLToken.VALID_TOKENS.keySet();
FastPartitioner partitioner = new FastPartitioner(scanner, tokens.toArray(new String[tokens.size()]));
document.setDocumentPartitioner(partitioner);
partitioner.connect(document);
}
return document;
}
Aggregations