Accessing linting errors on update

Hey,

I would like to figure out after editor update, if there are any linting errors. Is there a way to do that?

Since the logic for linting json is fairly simple. I ended up copying logic from linter (JSON.parse) in the EditorView.updateListener to figure out if the value is valid.

There is now—@codemirror/lint 0.19.1 adds a diagnosticCount(state) function.