From ee36a4cf48c312a8b6e4a9edd90d31d4083e2317 Mon Sep 17 00:00:00 2001 From: Noah Chen Date: Wed, 22 Nov 2017 15:46:57 -0500 Subject: [PATCH 1/2] Add onUpdateLinting callback to LintStateOptions --- types/codemirror/index.d.ts | 1 + 1 file changed, 1 insertion(+) diff --git a/types/codemirror/index.d.ts b/types/codemirror/index.d.ts index 126eafe013..deeac34073 100644 --- a/types/codemirror/index.d.ts +++ b/types/codemirror/index.d.ts @@ -1141,6 +1141,7 @@ declare namespace CodeMirror { interface LintStateOptions { async: boolean; hasGutters: boolean; + onUpdateLinting: (annotationsNotSorted: Annotation[], annotations: Annotation[], codeMirror: Editor) => void; } /** From fdc843c5a3b87c1b25f75c5c965cd4727b23d4a8 Mon Sep 17 00:00:00 2001 From: Noah Chen Date: Wed, 22 Nov 2017 15:52:12 -0500 Subject: [PATCH 2/2] Update index.d.ts --- types/codemirror/index.d.ts | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/types/codemirror/index.d.ts b/types/codemirror/index.d.ts index deeac34073..8fd9f59148 100644 --- a/types/codemirror/index.d.ts +++ b/types/codemirror/index.d.ts @@ -1141,7 +1141,7 @@ declare namespace CodeMirror { interface LintStateOptions { async: boolean; hasGutters: boolean; - onUpdateLinting: (annotationsNotSorted: Annotation[], annotations: Annotation[], codeMirror: Editor) => void; + onUpdateLinting?: (annotationsNotSorted: Annotation[], annotations: Annotation[], codeMirror: Editor) => void; } /**