using scrollToLine instead of gotoLine

src/app.js

@@ -753,7 +753,9 @@ var run = function () {
           switchToFile(source)
         }
         this.statementMarker = editor.addMarker(lineColumnPos, 'highlightcode')
-        editor.gotoLine(lineColumnPos.start.line, lineColumnPos.start.column)
+        
+        editor.scrollToLine(lineColumnPos.start.line, true, true, function () {})
+
         if (lineColumnPos.start.line === lineColumnPos.end.line) {
           this.fullLineMarker = editor.addMarker({
             start: {

src/app/editor.js

@@ -152,6 +152,10 @@ function Editor (editorElement) {
     return editor.session.addMarker(currentRange, cssClass)
   }
 
+  this.scrollToLine = function (line, center, animate, callback) {
+    editor.scrollToLine(line, center, animate, callback)
+  }
+
   this.removeMarker = function (markerId) {
     editor.session.removeMarker(markerId)
   }