Closed danwalmsley closed 9 years ago
Currently the user has to make a change to trigger diagnostics again.
This is now implemented, when the active document changes diagnostics will be triggered.
Currently the user has to make a change to trigger diagnostics again.