scrollToLine instead of focusing

pull/5370/head
yann300 3 years ago
parent 589b3ecf8d
commit f0bad477cf
  1. 2
      apps/remix-ide/src/app/editor/editor.js

@ -470,7 +470,7 @@ class Editor extends Plugin {
filePath = filePath || this.currentFile
if (opt.focus) {
await this.call('fileManager', 'open', filePath)
this.gotoLine(position.start.line, position.start.column)
this.scrollToLine(position.start.line)
}
await this.addDecoration({ position }, filePath, 'markerPerFile')
}

Loading…
Cancel
Save