fix: demo

leanprover-community · Nov 18, 2024 · 1328ae4 · 1328ae4
1 parent 02ce91b
commit 1328ae4
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/ProofWidgets/Demos/ExprGraph.lean b/ProofWidgets/Demos/ExprGraph.lean
@@ -43,7 +43,7 @@ def elabExprGraphCmd : CommandElab := fun
             />
             <text x={s!"-{rx}"} y="5" className="font-code">{.text node}</text>
           </g>
-        radius := 15
+        boundingShape := .rect (rx*4).toFloat 20
         details? :=
           match doc? with
           | some d =>