diff options
author | Jeremy Kolb <[email protected]> | 2019-01-12 23:49:07 +0000 |
---|---|---|
committer | Jeremy Kolb <[email protected]> | 2019-01-12 23:49:07 +0000 |
commit | 2a1cb52c994f5becb1a52d45b869d6ad0a36d713 (patch) | |
tree | ccb861cc9e6fffaa96e5e3b2504f6e1b87bb7db4 /editors/code/src/commands/apply_source_change.ts | |
parent | eb931c0d9e0877e573622253ae5b05563841037b (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.ts | 4 |
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 | ||
12 | export async function handle(change: SourceChange) { | 12 | export 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) { |