fix: merge error

2026-09-05 06:57:35 -04:00 · 2023-11-17 20:37:21 +01:00
parent 80601451b6
commit c6f89431d9
1 changed files with 0 additions and 5 deletions
@@ -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)}