From bab13b044ac1cd23317f62a048e01141382d694f Mon Sep 17 00:00:00 2001
From: Mike Fix <mrfix84@gmail.com>
Date: Sun, 15 May 2022 17:19:05 -0700
Subject: [PATCH] clear highlight state on theme selector change

---
 components/Editor.js | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/components/Editor.js b/components/Editor.js
index 17dfd98..7ab5d75 100644
--- a/components/Editor.js
+++ b/components/Editor.js
@@ -253,7 +253,7 @@ class Editor extends React.Component {
     }
   }
 
-  updateTheme = theme => this.updateState({ theme })
+  updateTheme = theme => this.updateState({ theme, highlights: null })
   updateHighlights = updates =>
     this.setState(({ highlights = {} }) => ({
       highlights: {