From c6f89431d9dfe24cd65c6d11199746a5be1369b8 Mon Sep 17 00:00:00 2001
From: Felix Roos <flix91@gmail.com>
Date: Fri, 17 Nov 2023 20:37:21 +0100
Subject: [PATCH] fix: merge error

---
 website/src/repl/panel/SettingsTab.jsx | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/website/src/repl/panel/SettingsTab.jsx b/website/src/repl/panel/SettingsTab.jsx
index 3ede2295..cee5b286 100644
--- a/website/src/repl/panel/SettingsTab.jsx
+++ b/website/src/repl/panel/SettingsTab.jsx
@@ -153,11 +153,6 @@ export function SettingsTab() {
           onChange={(cbEvent) => settingsMap.setKey('isActiveLineHighlighted', cbEvent.target.checked)}
           value={isActiveLineHighlighted}
         />
-        <Checkbox
-          label="Highlight active line"
-          onChange={(cbEvent) => settingsMap.setKey('isActiveLineHighlighted', cbEvent.target.checked)}
-          value={isActiveLineHighlighted}
-        />
         <Checkbox
           label="Enable auto-completion"
           onChange={(cbEvent) => settingsMap.setKey('isAutoCompletionEnabled', cbEvent.target.checked)}