gen_lsp v0.8.1

View Source GenLSP.Notifications.WorkspaceDidDeleteFiles (gen_lsp v0.8.1)

The will delete files request is sent from the client to the server before files are actually deleted as long as the deletion is triggered from within the client.

@since 3.16.0

Message Direction: clientToServer

Link to this section Summary

Types

t()

Link to this section Types

Link to this type

t()

View Source 
@type t() :: %GenLSP.Notifications.WorkspaceDidDeleteFiles{
  jsonrpc: String.t(),
  method: String.t(),
  params: GenLSP.Structures.DeleteFilesParams.t() | nil
}