willDeleteFiles

The did delete files notification is sent from the client to the server when files were deleted from within the client.

since 3.16.0

class Object
trait Matchable
class Any

Type members

Value members

Inherited fields

val requestMethod: String
Inherited from:
LSPRequest

Givens

Inherited givens

given inputReader: Reader[In]
Inherited from:
requests_workspace_willDeleteFiles (hidden)
given inputWriter: Writer[In]
Inherited from:
requests_workspace_willDeleteFiles (hidden)
given outputReader: Reader[Out]
Inherited from:
requests_workspace_willDeleteFiles (hidden)
given outputWriter: Writer[Out]
Inherited from:
requests_workspace_willDeleteFiles (hidden)