diff --git a/website/src/repl/Footer.jsx b/website/src/repl/Footer.jsx index 6a9ea876..08ab967e 100644 --- a/website/src/repl/Footer.jsx +++ b/website/src/repl/Footer.jsx @@ -288,7 +288,7 @@ function SettingsTab({ scheduler }) { const { theme, keybindings, fontSize, fontFamily } = useSettings(); return (
- + {/*
-
+
*/} settingsMap.setKey('theme', theme)} />