diff options
-rw-r--r-- | editors/code/src/commands/apply_source_change.ts | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/editors/code/src/commands/apply_source_change.ts b/editors/code/src/commands/apply_source_change.ts index ec420d1ab..cf921e3ac 100644 --- a/editors/code/src/commands/apply_source_change.ts +++ b/editors/code/src/commands/apply_source_change.ts | |||
@@ -12,14 +12,14 @@ interface FileSystemEdit { | |||
12 | 12 | ||
13 | export interface SourceChange { | 13 | export interface SourceChange { |
14 | label: string; | 14 | label: string; |
15 | SourceFileNodeEdits: lc.TextDocumentEdit[]; | 15 | sourceFileEdits: lc.TextDocumentEdit[]; |
16 | fileSystemEdits: FileSystemEdit[]; | 16 | fileSystemEdits: FileSystemEdit[]; |
17 | cursorPosition?: lc.TextDocumentPositionParams; | 17 | cursorPosition?: lc.TextDocumentPositionParams; |
18 | } | 18 | } |
19 | 19 | ||
20 | export async function handle(change: SourceChange) { | 20 | export async function handle(change: SourceChange) { |
21 | const wsEdit = new vscode.WorkspaceEdit(); | 21 | const wsEdit = new vscode.WorkspaceEdit(); |
22 | for (const sourceEdit of change.SourceFileNodeEdits) { | 22 | for (const sourceEdit of change.sourceFileEdits) { |
23 | const uri = Server.client.protocol2CodeConverter.asUri( | 23 | const uri = Server.client.protocol2CodeConverter.asUri( |
24 | sourceEdit.textDocument.uri | 24 | sourceEdit.textDocument.uri |
25 | ); | 25 | ); |