Как использовать async lint в codemirror? - PullRequest
Новая
       18

Как использовать async lint в codemirror?

0 голосов
/ 11 мая 2019

Я пытался настроить linting в codemirror, чтобы он был асинхронным, но каждый раз, когда я добавляю «async: true» к его параметрам, linting просто останавливается.

Я провел несколько исследований в Google, пытаясь выяснить, в чем может быть проблема, но не смог ничего найти (ни хорошего объяснения того, что и как использовать параметры lint, поскольку у codemirror нет документации). Я предполагаю, что это происходит потому, что редактор запускается пустым, и перед тем, как ворс сможет выполнить первый запуск, в него загружается текст. Кроме того, я понятия не имею, почему он не работает (без ошибок)

Моя конфигурация codemirror: 

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() },

  }
})
...