use Codemirror to display exported JSON