fix: update rules slider on erasing progress #157

leanprover-community · Dec 14, 2023 · 1ab5071 · 1ab5071
1 parent e76e287
commit 1ab5071
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/client/src/components/world_tree.tsx b/client/src/components/world_tree.tsx
@@ -213,7 +213,7 @@ export function WorldSelectionMenu({rulesHelp, setRulesHelp}) {
         title="Game Rules"
         min={0} max={2}
         aria-label="Game Rules"
-        defaultValue={difficulty}
+        value={difficulty}
         marks={[
           {value: 0, label: label(0)},
           {value: 1, label: label(1)},