From 3085fc184288562340c9453fb0e39d1484053d3d Mon Sep 17 00:00:00 2001
From: Rob Stupay <rob@stupay.com>
Date: Mon, 11 Sep 2017 17:10:54 +0200
Subject: [PATCH] snuffing out ancient gotoLine line in app

---
 src/app.js | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/app.js b/src/app.js
index 60a51de921..8ec7533a48 100644
--- a/src/app.js
+++ b/src/app.js
@@ -511,8 +511,8 @@ function run () {
         if (config.get('currentFile') !== this.source) {
           fileManager.switchFile(this.source)
         }
-        this.statementMarker = editor.addMarker(lineColumnPos, 'highlightcode')
-        editor.gotoLine(lineColumnPos.start.line, lineColumnPos.start.column)
+        this.statementMarker = editor.addMarker(lineColumnPos, this.source, 'highlightcode')
+        editor.scrollToLine(lineColumnPos.start.line, true, true, function () {})
         if (lineColumnPos.start.line === lineColumnPos.end.line) {
           this.fullLineMarker = editor.addMarker({
             start: {