aboutsummaryrefslogtreecommitdiff
path: root/editors/code/src
diff options
context:
space:
mode:
authorbors[bot] <bors[bot]@users.noreply.github.com>2019-01-05 11:31:22 +0000
committerbors[bot] <bors[bot]@users.noreply.github.com>2019-01-05 11:31:22 +0000
commit53ffa2a030be52ad6ddcf3c038f08c337894fbe7 (patch)
tree5c9feda04124175d65b842561dd70dc6c9684362 /editors/code/src
parent9b5b13dfcfe32bccbf3593eee26bf88a5fd60413 (diff)
parent4dfc5a6341406bcf3c179e367e3e7bf1fb591e0a (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.ts3
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(