From 5c41d6789cc40335c7dd0982ad327b5b10b2918f Mon Sep 17 00:00:00 2001
From: Felix Roos <flix91@gmail.com>
Date: Mon, 25 Dec 2023 21:11:28 +0100
Subject: [PATCH] checkbox for isPatternHighlightingEnabled

---
 website/src/repl/panel/SettingsTab.jsx | 6 ++++++
 website/src/settings.mjs               | 2 ++
 2 files changed, 8 insertions(+)

diff --git a/website/src/repl/panel/SettingsTab.jsx b/website/src/repl/panel/SettingsTab.jsx
index cee5b286..3efab8f2 100644
--- a/website/src/repl/panel/SettingsTab.jsx
+++ b/website/src/repl/panel/SettingsTab.jsx
@@ -78,6 +78,7 @@ export function SettingsTab() {
     theme,
     keybindings,
     isLineNumbersDisplayed,
+    isPatternHighlightingEnabled,
     isActiveLineHighlighted,
     isAutoCompletionEnabled,
     isTooltipEnabled,
@@ -153,6 +154,11 @@ export function SettingsTab() {
           onChange={(cbEvent) => settingsMap.setKey('isActiveLineHighlighted', cbEvent.target.checked)}
           value={isActiveLineHighlighted}
         />
+        <Checkbox
+          label="Highlight events in code"
+          onChange={(cbEvent) => settingsMap.setKey('isPatternHighlightingEnabled', cbEvent.target.checked)}
+          value={isPatternHighlightingEnabled}
+        />
         <Checkbox
           label="Enable auto-completion"
           onChange={(cbEvent) => settingsMap.setKey('isAutoCompletionEnabled', cbEvent.target.checked)}
diff --git a/website/src/settings.mjs b/website/src/settings.mjs
index 570b6446..489bd71c 100644
--- a/website/src/settings.mjs
+++ b/website/src/settings.mjs
@@ -12,6 +12,7 @@ export const defaultSettings = {
   isAutoCompletionEnabled: false,
   isTooltipEnabled: false,
   isLineWrappingEnabled: false,
+  isPatternHighlightingEnabled: true,
   theme: 'strudelTheme',
   fontFamily: 'monospace',
   fontSize: 18,
@@ -50,6 +51,7 @@ export function useSettings() {
     isLineNumbersDisplayed: [true, 'true'].includes(state.isLineNumbersDisplayed) ? true : false,
     isActiveLineHighlighted: [true, 'true'].includes(state.isActiveLineHighlighted) ? true : false,
     isAutoCompletionEnabled: [true, 'true'].includes(state.isAutoCompletionEnabled) ? true : false,
+    isPatternHighlightingEnabled: [true, 'true'].includes(state.isPatternHighlightingEnabled) ? true : false,
     isTooltipEnabled: [true, 'true'].includes(state.isTooltipEnabled) ? true : false,
     isLineWrappingEnabled: [true, 'true'].includes(state.isLineWrappingEnabled) ? true : false,
     fontSize: Number(state.fontSize),