Module Settings.DiagnosticsSource

Sourcetype t = {
  1. enable : bool;
    (*

    Sets whether diagnostics like errors and highlighting are sent to the client at all.

    *)
  2. full : bool;
}