I've been trying to configure linting in codemirror to be asynchronous, but every time I add "async:true" to its options, linting simply stops.

I've done some google research trying to find what could be the problem, but couldn't find anything(nor a good explanation on what are and how to use the lint options, since codemirror has no documentation). I imagine it happens because the editor starts empty, and before the lint can make a first run, text is loaded to it. Besides that, I've no idea as to why it's not working(No errors are thrown)

My codemirror config:

editor = CodeMirror(
document.getElementById("editor"),
{
  mode: {name: "javascript", json: true },
  lineNumbers: true,
  lineWrapping: false,
  foldGutter: true,
  showHint:true,
  theme: "lesser-dark",
  gutters: ["CodeMirror-linenumbers","CodeMirror-lint-markers", "CodeMirror-foldgutter"],
lint: {
  async:true,
  node:true,
  jquery:true,
asi           : true,
evil          : true,
esversion:8,
},
lintWith: {
    "async" : true,
},
  extraKeys: {
    "Cmd-S": function(instance) { handleSaveButton() },

  }
})

0 Answers