diff options
Diffstat (limited to 'editors/code/src/source_change.ts')
-rw-r--r-- | editors/code/src/source_change.ts | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/editors/code/src/source_change.ts b/editors/code/src/source_change.ts index 887191d9e..a336269ba 100644 --- a/editors/code/src/source_change.ts +++ b/editors/code/src/source_change.ts | |||
@@ -11,7 +11,7 @@ export interface SourceChange { | |||
11 | 11 | ||
12 | export async function applySourceChange(ctx: Ctx, change: SourceChange) { | 12 | export async function applySourceChange(ctx: Ctx, change: SourceChange) { |
13 | const client = ctx.client; | 13 | const client = ctx.client; |
14 | if (!client) return | 14 | if (!client) return; |
15 | 15 | ||
16 | const wsEdit = client.protocol2CodeConverter.asWorkspaceEdit( | 16 | const wsEdit = client.protocol2CodeConverter.asWorkspaceEdit( |
17 | change.workspaceEdit, | 17 | change.workspaceEdit, |