fix(Demos/ExprGraph): show details

leanprover-community · Nov 8, 2024 · 26bcae6 · 26bcae6
1 parent 568810a
commit 26bcae6
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/ProofWidgets/Demos/ExprGraph.lean b/ProofWidgets/Demos/ExprGraph.lean
@@ -66,6 +66,7 @@ def elabExprGraphCmd : CommandElab := fun
         .x { strength? := some 0.05 },
         .y { strength? := some 0.05 }
       ]}
+      showDetails={true}
     />
     Widget.savePanelWidgetInfo
       (hash HtmlDisplayPanel.javascript)