WorkspaceEdit 
    A workspace edit is a collection of textual and files changes for multiple resources and documents.
Use the workspace.applyEdit-function to apply a workspace edit.
Types
Link copied to clipboard
                  interface CreateFileOptions
Link copied to clipboard
                  interface DeleteFileOptions
Link copied to clipboard
                  interface RenameFileOptions
Properties
Functions
Link copied to clipboard
                  fun createFile(uri: Uri, options: WorkspaceEdit.CreateFileOptions = definedExternally, metadata: WorkspaceEditEntryMetadata = definedExternally)
Create a regular file.
Link copied to clipboard
                  Delete the text at the given range.
Link copied to clipboard
                  fun deleteFile(uri: Uri, options: WorkspaceEdit.DeleteFileOptions = definedExternally, metadata: WorkspaceEditEntryMetadata = definedExternally)
Delete a file or folder.
Link copied to clipboard
                  Get all text edits grouped by resource.
Link copied to clipboard
                  Get the text edits for a resource.
Link copied to clipboard
                  fun renameFile(oldUri: Uri, newUri: Uri, options: WorkspaceEdit.RenameFileOptions = definedExternally, metadata: WorkspaceEditEntryMetadata = definedExternally)
Rename a file or folder.
Link copied to clipboard
                  Set (and replace) text edits or snippet edits with metadata for a resource.
Set (and replace) notebook edits with metadata for a resource.
Set (and replace) text edits or snippet edits for a resource.
Set (and replace) notebook edits for a resource.