WorkspaceEdit.with_document_changes


Description:

public WorkspaceEdit.with_document_changes ((unowned ResourceOperation)[]? document_changes = null, HashTable<string,ChangeAnnotation>? change_annotations = null)