apply_edit_async


Description:

public async ApplyWorkspaceEditResult apply_edit_async (WorkspaceEdit edit, string? label = null) throws Error

The workspace/applyEdit request is sent from the server to the client to apply a workspace edit.

Parameters:

edit

the workspace edit to apply

label

an optional label describing the edit

Returns:

the result indicating whether the edit was applied