gen_lsp v0.10.0

View Source GenLSP.Structures.DiagnosticWorkspaceClientCapabilities (gen_lsp v0.10.0)

Workspace client capabilities specific to diagnostic pull requests.

@since 3.17.0

Link to this section Summary

Types

t()

Functions

%GenLSP.Structures.DiagnosticWorkspaceClientCapabilities{}

Fields

  • refresh_support: Whether the client implementation supports a refresh request sent from the server to the client.

Link to this section Types

Link to this type

t()

View Source 
@type t() :: %GenLSP.Structures.DiagnosticWorkspaceClientCapabilities{
  refresh_support: boolean() | nil
}

Link to this section Functions

Link to this function

%GenLSP.Structures.DiagnosticWorkspaceClientCapabilities{}

View Source (struct)

fields

 Fields

  • refresh_support: Whether the client implementation supports a refresh request sent from the server to the client.

    Note that this event is global and will force the client to refresh all pulled diagnostics currently shown. It should be used with absolute care and is useful for situation where a server for example detects a project wide change that requires such a calculation.