Andy Richardson 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

…

test

…

codemirror-comment.d.ts

…

codemirror-panel.d.ts

…

codemirror-runmode.d.ts

…

codemirror-showhint.d.ts

…

codemirror-tern.d.ts

…

index.d.ts

…

searchcursor.d.ts

…

tsconfig.json

…

tslint.json

…