marijnh/CodeMirror — pull request #1817 by brettz9 (2013-09-11 03:24:19+00:00)
Title: Pass lint options on when not in async mode (as for JavaScript JSHint us...

Pass lint options on when not in async mode (as for JavaScript JSHint usage)

I didn't see this async used anywhere else in your code (and I didn't touch it here), but I think you might want to the `updateLinting` argument passed AFTER options so that it can parallel the synchronous way I am adding.