mirror of
https://github.com/gosticks/DefinitelyTyped.git
synced 2026-10-03 22:37:03 +00:00
Merge pull request #5309 from nnchang/bugfix/codemirror-editor-configuration
CodeMirror: EditorConfiguration.lint can be boolean
This commit is contained in:
Vendored
+1
-1
@@ -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 {
|
||||
|
||||
Reference in New Issue
Block a user