From f8724bf47efe6e72a80ad649588326cf6345f7ed Mon Sep 17 00:00:00 2001
From: Felix Roos <flix91@gmail.com>
Date: Wed, 1 Mar 2023 00:05:23 +0100
Subject: [PATCH] comment out cps ui

---
 website/src/repl/Footer.jsx | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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 (
     <div className="text-foreground p-4 space-y-4">
-      <FormItem label="Tempo">
+      {/* <FormItem label="Tempo">
         <div className="space-x-4">
           <button
             onClick={() => {
@@ -305,7 +305,7 @@ function SettingsTab({ scheduler }) {
             faster
           </button>
         </div>
-      </FormItem>
+      </FormItem> */}
       <FormItem label="Theme">
         <SelectInput options={themeOptions} value={theme} onChange={(theme) => settingsMap.setKey('theme', theme)} />
       </FormItem>