GenLSP.Requests.WorkspaceExecuteCommand (gen_lsp v0.0.3)
A request send from the client to the server to execute a command. The request might return a workspace edit which the client will apply to the workspace.
Link to this section Summary
Link to this section Types
@type t() :: %GenLSP.Requests.WorkspaceExecuteCommand{ id: integer(), jsonrpc: String.t(), method: String.t(), params: GenLSP.Structures.ExecuteCommandParams.t() | nil }