Merge pull request #21695 from nchen63/patch-7

[codemirror] Add onUpdateLinting callback to LintStateOptions
This commit is contained in:
Benjamin Lichtman
2017-11-22 20:54:51 -05:00
committed by GitHub

View File

@@ -1141,6 +1141,7 @@ declare namespace CodeMirror {
interface LintStateOptions {
async: boolean;
hasGutters: boolean;
onUpdateLinting?: (annotationsNotSorted: Annotation[], annotations: Annotation[], codeMirror: Editor) => void;
}
/**