2 files changed, 5 insertions, 1 deletions

diff --git a/editors/code/package.json b/editors/code/package.json
index 026ef6842..9433bd3d2 100644
--- a/editors/code/package.json
+++ b/editors/code/package.json
@@ -24,7 +24,7 @@
         "fix": "prettier **/*.{json,ts} --write && tslint --project . --fix",
         "lint": "tslint --project .",
         "prettier": "prettier **/*.{json,ts}",
-        "travis": "npm run compile && npm run lint && npm run prettier --list-different"
+        "travis": "npm run compile && npm run lint && npm run prettier -- --list-different"
     },
     "prettier": {
         "tabWidth": 4,
diff --git a/editors/code/src/commands/apply_source_change.ts b/editors/code/src/commands/apply_source_change.ts
index 675a534c8..dcd074b8b 100644
--- a/editors/code/src/commands/apply_source_change.ts
+++ b/editors/code/src/commands/apply_source_change.ts
@@ -46,5 +46,9 @@ export async function handle(change: SourceChange) {
             return;
         }
         editor.selection = new vscode.Selection(position, position);
+        editor.revealRange(
+            new vscode.Range(position, position),
+            vscode.TextEditorRevealType.Default
+        );
     }
 }