diff options
author | Aleksey Kladov <[email protected]> | 2019-12-31 17:14:00 +0000 |
---|---|---|
committer | Aleksey Kladov <[email protected]> | 2019-12-31 17:32:17 +0000 |
commit | 087af54069d34eef5197e04d64ac322d9ee98085 (patch) | |
tree | 3a6e4b1884930c07bd800a771ffd777d7a866b11 /editors/code/src/source_change.ts | |
parent | 0849f7001cac6af93ce9e9356f8c21881bbe34c5 (diff) |
Refactor server lifecycle
Diffstat (limited to 'editors/code/src/source_change.ts')
-rw-r--r-- | editors/code/src/source_change.ts | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/editors/code/src/source_change.ts b/editors/code/src/source_change.ts index a4f9068b2..887191d9e 100644 --- a/editors/code/src/source_change.ts +++ b/editors/code/src/source_change.ts | |||
@@ -10,7 +10,10 @@ export interface SourceChange { | |||
10 | } | 10 | } |
11 | 11 | ||
12 | export async function applySourceChange(ctx: Ctx, change: SourceChange) { | 12 | export async function applySourceChange(ctx: Ctx, change: SourceChange) { |
13 | const wsEdit = ctx.client.protocol2CodeConverter.asWorkspaceEdit( | 13 | const client = ctx.client; |
14 | if (!client) return | ||
15 | |||
16 | const wsEdit = client.protocol2CodeConverter.asWorkspaceEdit( | ||
14 | change.workspaceEdit, | 17 | change.workspaceEdit, |
15 | ); | 18 | ); |
16 | let created; | 19 | let created; |
@@ -32,10 +35,10 @@ export async function applySourceChange(ctx: Ctx, change: SourceChange) { | |||
32 | const doc = await vscode.workspace.openTextDocument(toOpenUri); | 35 | const doc = await vscode.workspace.openTextDocument(toOpenUri); |
33 | await vscode.window.showTextDocument(doc); | 36 | await vscode.window.showTextDocument(doc); |
34 | } else if (toReveal) { | 37 | } else if (toReveal) { |
35 | const uri = ctx.client.protocol2CodeConverter.asUri( | 38 | const uri = client.protocol2CodeConverter.asUri( |
36 | toReveal.textDocument.uri, | 39 | toReveal.textDocument.uri, |
37 | ); | 40 | ); |
38 | const position = ctx.client.protocol2CodeConverter.asPosition( | 41 | const position = client.protocol2CodeConverter.asPosition( |
39 | toReveal.position, | 42 | toReveal.position, |
40 | ); | 43 | ); |
41 | const editor = vscode.window.activeTextEditor; | 44 | const editor = vscode.window.activeTextEditor; |