aboutsummaryrefslogtreecommitdiff
path: root/editors/code/src/commands/apply_source_change.ts
diff options
context:
space:
mode:
authorJeremy Kolb <[email protected]>2019-01-12 23:49:07 +0000
committerJeremy Kolb <[email protected]>2019-01-12 23:49:07 +0000
commit2a1cb52c994f5becb1a52d45b869d6ad0a36d713 (patch)
treeccb861cc9e6fffaa96e5e3b2504f6e1b87bb7db4 /editors/code/src/commands/apply_source_change.ts
parenteb931c0d9e0877e573622253ae5b05563841037b (diff)
npm fix run
Diffstat (limited to 'editors/code/src/commands/apply_source_change.ts')
-rw-r--r--editors/code/src/commands/apply_source_change.ts4
1 files changed, 3 insertions, 1 deletions
diff --git a/editors/code/src/commands/apply_source_change.ts b/editors/code/src/commands/apply_source_change.ts
index d96ace979..675a534c8 100644
--- a/editors/code/src/commands/apply_source_change.ts
+++ b/editors/code/src/commands/apply_source_change.ts
@@ -10,7 +10,9 @@ export interface SourceChange {
10} 10}
11 11
12export async function handle(change: SourceChange) { 12export async function handle(change: SourceChange) {
13 const wsEdit = Server.client.protocol2CodeConverter.asWorkspaceEdit(change.workspaceEdit); 13 const wsEdit = Server.client.protocol2CodeConverter.asWorkspaceEdit(
14 change.workspaceEdit
15 );
14 let created; 16 let created;
15 let moved; 17 let moved;
16 if (change.workspaceEdit.documentChanges) { 18 if (change.workspaceEdit.documentChanges) {