aboutsummaryrefslogtreecommitdiff
path: root/editors
diff options
context:
space:
mode:
authorAleksey Kladov <[email protected]>2018-11-07 15:32:33 +0000
committerAleksey Kladov <[email protected]>2018-11-07 15:42:36 +0000
commitf8b36bbc3b968754b71844d942286e81415627b8 (patch)
tree72be8cc4bac951b00746291e4b357b86def7d4c7 /editors
parent2119fe214303325e86174b139d7ad8193b2ce251 (diff)
Rename File -> SourceFileNode
Diffstat (limited to 'editors')
-rw-r--r--editors/code/src/commands/apply_source_change.ts4
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 cf921e3ac..ec420d1ab 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
13export interface SourceChange { 13export interface SourceChange {
14 label: string; 14 label: string;
15 sourceFileEdits: lc.TextDocumentEdit[]; 15 SourceFileNodeEdits: lc.TextDocumentEdit[];
16 fileSystemEdits: FileSystemEdit[]; 16 fileSystemEdits: FileSystemEdit[];
17 cursorPosition?: lc.TextDocumentPositionParams; 17 cursorPosition?: lc.TextDocumentPositionParams;
18} 18}
19 19
20export async function handle(change: SourceChange) { 20export async function handle(change: SourceChange) {
21 const wsEdit = new vscode.WorkspaceEdit(); 21 const wsEdit = new vscode.WorkspaceEdit();
22 for (const sourceEdit of change.sourceFileEdits) { 22 for (const sourceEdit of change.SourceFileNodeEdits) {
23 const uri = Server.client.protocol2CodeConverter.asUri( 23 const uri = Server.client.protocol2CodeConverter.asUri(
24 sourceEdit.textDocument.uri 24 sourceEdit.textDocument.uri
25 ); 25 );