This PR adds two new options, kotlin.diagnostics.enabled and kotlin.diagnostics.level that can be used by the client to configure if and at which level diagnostics should be emitted by the language server.
Additionally, kotlin.linting.debounceTime has been deprecated and renamed to kotlin.diagnostics.debounceTime. The old spelling will be kept around for the foreseeable future for backwards compatibility.
Future Directions
Automatically update diagnostics on configuration changes and use the LSP configuration change notification mechanism in the unit test (instead of applying a dummy edit).
This PR adds two new options,
kotlin.diagnostics.enabled
andkotlin.diagnostics.level
that can be used by the client to configure if and at which level diagnostics should be emitted by the language server.Additionally,
kotlin.linting.debounceTime
has been deprecated and renamed tokotlin.diagnostics.debounceTime
. The old spelling will be kept around for the foreseeable future for backwards compatibility.Future Directions
Automatically update diagnostics on configuration changes and use the LSP configuration change notification mechanism in the unit test (instead of applying a dummy edit).