From 25c8f3b06dfb163c57a4637c13f35aeeba3aff19 Mon Sep 17 00:00:00 2001
From: bunsenstraat <bunsenstraat@gmail.com>
Date: Fri, 22 Jan 2021 10:38:09 +0100
Subject: [PATCH] fix highlighting (#768)

---
 apps/remix-ide/src/app/editor/SourceHighlighters.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/apps/remix-ide/src/app/editor/SourceHighlighters.js b/apps/remix-ide/src/app/editor/SourceHighlighters.js
index f5f939cb24..77c1988947 100644
--- 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) {