From 26bcae6ebc8507c7ea49b81146aef635881f8356 Mon Sep 17 00:00:00 2001
From: Wojciech Nawrocki <wjnawrocki@protonmail.com>
Date: Fri, 8 Nov 2024 12:12:13 -0500
Subject: [PATCH] fix(Demos/ExprGraph): show details

---
 ProofWidgets/Demos/ExprGraph.lean | 1 +
 1 file changed, 1 insertion(+)

diff --git a/ProofWidgets/Demos/ExprGraph.lean b/ProofWidgets/Demos/ExprGraph.lean
index 5ce443b..8843662 100644
--- 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)