Andy RichardsonandRyan Cavanaugh 5ba85a4045 Fix linting types which should be optional (#36445) ...

* Set linting 'async' rule to optional

https://github.com/codemirror/CodeMirror/blob/master/addon/lint/lint.js#L148

* Set 'getAnnotations' to optional

https://github.com/codemirror/CodeMirror/blob/master/addon/lint/lint.js#L147

* change 'hasGutters' to optional

https://github.com/codemirror/CodeMirror/blob/master/addon/lint/lint.js#L180

2019-07-01 13:28:30 -07:00

..

addon

[@types/codemirror] Add boolean type to autoCloseBrackets option (#36323)

2019-06-24 12:51:17 -07:00

test

[@types/codemirror] Add boolean type to autoCloseBrackets option (#36323)

2019-06-24 12:51:17 -07:00

codemirror-comment.d.ts

…

codemirror-panel.d.ts

…

codemirror-runmode.d.ts

…

codemirror-showhint.d.ts

…

codemirror-tern.d.ts

…

index.d.ts

Fix linting types which should be optional (#36445)

2019-07-01 13:28:30 -07:00

searchcursor.d.ts

…

tsconfig.json

…

tslint.json

…