From 4dfc5a6341406bcf3c179e367e3e7bf1fb591e0a Mon Sep 17 00:00:00 2001
From: Bernardo <berublan@gmail.com>
Date: Sat, 5 Jan 2019 12:12:39 +0100
Subject: fix open of created or renamed file

---
 editors/code/src/commands/apply_source_change.ts | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

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) {
     const toReveal = change.cursorPosition;
     await vscode.workspace.applyEdit(wsEdit);
     if (toOpen) {
-        const doc = await vscode.workspace.openTextDocument(toOpen);
+        const toOpenUri = vscode.Uri.parse(toOpen);
+        const doc = await vscode.workspace.openTextDocument(toOpenUri);
         await vscode.window.showTextDocument(doc);
     } else if (toReveal) {
         const uri = Server.client.protocol2CodeConverter.asUri(
-- 
cgit v1.2.3