View source
class DidDeleteFilesNotification
package languageServerProtocol.protocol
import languageServerProtocol.protocol.FileOperations
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.
Available since
3.16.0
.