wassname/DefinitelyTyped
1
0 Fork 0
mirror of https://github.com/wassname/DefinitelyTyped.git synced 2026-10-25 12:00:38 +08:00
Code Issues Packages Projects Releases Wiki Activity

CodeMirror: EditorConfiguration.lint can be boolean

Browse Source
This commit is contained in:
Nick Chang committed 2015-08-21 07:41:34 -07:00
1 parent 3b0f362204
commit 0a9004eb58
1 file changed
+1 -1
Download Patch File Download Diff File Expand all files Collapse all files
codemirror/codemirror.d.ts
Vendored
+1 -1
View File
@@ -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 {