didDeleteFiles

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

Source:
requests.scala
class Object
trait Matchable
class Any

Type members

Value members

Inherited fields

val notificationMethod: String
Inherited from:
LSPNotification
Source:
requests.scala

Givens

Givens

given inputReader: Reader[In]
given inputWriter: Writer[In]