diff --git a/codemirror/codemirror.d.ts b/codemirror/codemirror.d.ts index 86c01141e..06361684d 100644 --- a/codemirror/codemirror.d.ts +++ b/codemirror/codemirror.d.ts @@ -787,7 +787,7 @@ declare module CodeMirror { viewportMargin?: number; /** Optional lint configuration to be used in conjunction with CodeMirror's linter addon. */ - lint?: LintOptions; + lint?: boolean | LintOptions; } interface TextMarkerOptions {