Skip to content

B
baas-ide
Commit 129bf2e6 authored by yann300's avatar yann300
Browse files
Options

ensure file is opened before marking it

parent 2cf7ed50
Hide whitespace changes
Inline Side-by-side
Showing with 2 additions and 2 deletions
src/app/editor/sourceHighlighter.js
View file @ 129bf2e6
......@@ -31,7 +31,7 @@ class SourceHighlighter {
}
}
currentSourceLocationFromfileName (lineColumnPos, filePath, style) {
async currentSourceLocationFromfileName (lineColumnPos, filePath, style) {
if (this.statementMarker) this._deps.editor.removeMarker(this.statementMarker, this.source)
if (this.fullLineMarker) this._deps.editor.removeMarker(this.fullLineMarker, this.source)
this.statementMarker = null
......@@ -40,7 +40,7 @@ class SourceHighlighter {
if (lineColumnPos) {
this.source = filePath
if (this._deps.config.get('currentFile') !== this.source) {
this._deps.fileManager.open(this.source)
await this._deps.fileManager.open(this.source)
}
const css = csjs`
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment