fix highlighting (#768)

4 years ago · 25c8f3b06d
parent bdfa3df4ad
commit 25c8f3b06d
1 changed files with 1 additions and 1 deletions
--- a/apps/remix-ide/src/app/editor/SourceHighlighters.js
+++ b/apps/remix-ide/src/app/editor/SourceHighlighters.js
@ -63,8 +63,8 @@ class SourceHighlighters {
      for (const index in this.highlighters[highlighter]) {
        this.highlighters[highlighter][index].currentSourceLocation(null)
      }
      this.highlightAllFrom(toStay)
    }
    this.highlightAllFrom(toStay)
  }
  discardHighlightAt (line, filePath, from) {