| 1234567891011121314 | // Depends on jsonlint.js from https://github.com/zaach/jsonlintCodeMirror.jsonValidator = function(text) {  var found = [];  jsonlint.parseError = function(str, hash) {    var loc = hash.loc;    found.push({from: CodeMirror.Pos(loc.first_line - 1, loc.first_column),                to: CodeMirror.Pos(loc.last_line - 1, loc.last_column),                message: str});  };  try { jsonlint.parse(text); }  catch(e) {}  return found;};
 |