From edace8e4eaeb1050399d7b31a8f3762c55f894a7 Mon Sep 17 00:00:00 2001 From: Aaron Fenyes Date: Sun, 29 Sep 2024 23:41:16 -0700 Subject: [PATCH] Outline: include ID and label in element diff key --- app-proto/full-interface/src/outline.rs | 7 ++++++- 1 file changed, 6 insertions(+), 1 deletion(-) diff --git a/app-proto/full-interface/src/outline.rs b/app-proto/full-interface/src/outline.rs index 8a0a3fb..c980887 100644 --- a/app-proto/full-interface/src/outline.rs +++ b/app-proto/full-interface/src/outline.rs @@ -148,7 +148,12 @@ pub fn Outline() -> View { } } }, - key=|(key, elt)| (key.clone(), elt.constraints.clone()) + key=|(key, elt)| ( + key.clone(), + elt.id.clone(), + elt.label.clone(), + elt.constraints.clone() + ) ) } }