我一直在尝试将codemirror中的linting配置为异步,但是每当我在其选项中添加“ async:true”时,lint就会停止。
我已经做了一些谷歌研究,试图找到可能是什么问题,但是什么也找不到(也没有关于什么是以及如何使用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() },
}
})