pull/1/head
yann300 7 years ago
parent 0583be4b6d
commit 5fdd77f046
  1. 1
      src/app.js

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

Loading…
Cancel
Save