diff options
author | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-05 11:31:22 +0000 |
---|---|---|
committer | bors[bot] <bors[bot]@users.noreply.github.com> | 2019-01-05 11:31:22 +0000 |
commit | 53ffa2a030be52ad6ddcf3c038f08c337894fbe7 (patch) | |
tree | 5c9feda04124175d65b842561dd70dc6c9684362 /editors/code/src | |
parent | 9b5b13dfcfe32bccbf3593eee26bf88a5fd60413 (diff) | |
parent | 4dfc5a6341406bcf3c179e367e3e7bf1fb591e0a (diff) |
Merge #431
431: fixes for LSP file system operations r=matklad a=vemoo
fixes for #131
Co-authored-by: Bernardo <[email protected]>
Diffstat (limited to 'editors/code/src')
-rw-r--r-- | editors/code/src/commands/apply_source_change.ts | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/editors/code/src/commands/apply_source_change.ts b/editors/code/src/commands/apply_source_change.ts index 10dbf72c0..d96ace979 100644 --- a/editors/code/src/commands/apply_source_change.ts +++ b/editors/code/src/commands/apply_source_change.ts | |||
@@ -26,7 +26,8 @@ export async function handle(change: SourceChange) { | |||
26 | const toReveal = change.cursorPosition; | 26 | const toReveal = change.cursorPosition; |
27 | await vscode.workspace.applyEdit(wsEdit); | 27 | await vscode.workspace.applyEdit(wsEdit); |
28 | if (toOpen) { | 28 | if (toOpen) { |
29 | const doc = await vscode.workspace.openTextDocument(toOpen); | 29 | const toOpenUri = vscode.Uri.parse(toOpen); |
30 | const doc = await vscode.workspace.openTextDocument(toOpenUri); | ||
30 | await vscode.window.showTextDocument(doc); | 31 | await vscode.window.showTextDocument(doc); |
31 | } else if (toReveal) { | 32 | } else if (toReveal) { |
32 | const uri = Server.client.protocol2CodeConverter.asUri( | 33 | const uri = Server.client.protocol2CodeConverter.asUri( |