From cd21f0eadead4129bc2e91434e015c660e02c880 Mon Sep 17 00:00:00 2001
From: "Jeremy A. Kolb" <jkolb@ara.com>
Date: Mon, 14 Jan 2019 17:24:49 -0500
Subject: Reveal the newly added source change in the editor.

---
 editors/code/src/commands/apply_source_change.ts | 1 +
 1 file changed, 1 insertion(+)

(limited to 'editors/code')

diff --git a/editors/code/src/commands/apply_source_change.ts b/editors/code/src/commands/apply_source_change.ts
index 675a534c8..389061e3c 100644
--- a/editors/code/src/commands/apply_source_change.ts
+++ b/editors/code/src/commands/apply_source_change.ts
@@ -46,5 +46,6 @@ export async function handle(change: SourceChange) {
             return;
         }
         editor.selection = new vscode.Selection(position, position);
+        editor.revealRange(new vscode.Range(position, position), vscode.TextEditorRevealType.Default);
     }
 }
-- 
cgit v1.2.3