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.