From 1f2fb4e27f8ba1cb7b1d96a332b7ffc2ee659921 Mon Sep 17 00:00:00 2001
From: Aleksey Kladov <aleksey.kladov@gmail.com>
Date: Thu, 30 Aug 2018 12:51:46 +0300
Subject: move

---
 code/src/extension.ts | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'code/src')

diff --git a/code/src/extension.ts b/code/src/extension.ts
index f2589ef2f..53ef83aab 100644
--- a/code/src/extension.ts
+++ b/code/src/extension.ts
@@ -395,7 +395,7 @@ async function applySourceChange(change: SourceChange) {
         let uri = client.protocol2CodeConverter.asUri(toReveal.textDocument.uri)
         let position = client.protocol2CodeConverter.asPosition(toReveal.position)
         let editor = vscode.window.activeTextEditor;
-        if (!editor || editor.document.uri != uri) return
+        if (!editor || editor.document.uri.toString() != uri.toString()) return
         if (!editor.selection.isEmpty) return
         editor!.selection = new vscode.Selection(position, position)
     }
-- 
cgit v1.2.3