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

class Object
trait Matchable
class Any

Type members

Types

Value members

Inherited fields

val notificationMethod: String
Inherited from:
LSPNotification

Givens

Inherited givens

given inputReader: Reader[In]
Inherited from:
notifications_workspace_didDeleteFiles (hidden)
given inputWriter: Writer[In]
Inherited from:
notifications_workspace_didDeleteFiles (hidden)