Outline: include ID and label in element diff key

2024-09-29 23:41:16 -07:00 · 2024-09-29 23:41:16 -07:00 · edace8e4ea
commit edace8e4ea
parent 70bd39b9e5
1 changed files with 6 additions and 1 deletions
--- 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()
+                )
            )
        }
    }