I have a simple linter that can be run immediately on document changes, and a more complex one that need to be async to fetch info from back-end.
When using the simple linter, result is almost instant, but if I add the two linters in the extension list, then the result from both linters are only displayed after the promise of the async linter is resolved.
is it possible to have async and non-async linters ? maybe I’m missing an option or something ?
Right, the lint plugin will collect results from all sources and only then update the editor. This patch changes that so that it’ll start updating earlier when some sources are slow.