View source
class WillDeleteFilesRequest
package languageServerProtocol.protocol
import languageServerProtocol.protocol.FileOperations
The did delete files notification is sent from the client to the server when files were deleted from within the client.
Available since
3.16.0
.