CodeMirror lint addon init speedup
This commit is contained in:
parent
4d72102fd9
commit
41a3415c79
2
codemirror/addon/lint/lint.js
vendored
2
codemirror/addon/lint/lint.js
vendored
|
@ -203,7 +203,7 @@
|
|||
if (state.options.tooltips != false)
|
||||
CodeMirror.on(cm.getWrapperElement(), "mouseover", state.onMouseOver);
|
||||
|
||||
startLinting(cm);
|
||||
state.timeout = setTimeout(function(){startLinting(cm);}, state.options.delay || 500);
|
||||
}
|
||||
});
|
||||
|
||||
|
|
Loading…
Reference in New Issue
Block a user