Clean up the outline view #19

Merged
glen merged 23 commits from outline-cleanup_on_main into main 2024-11-15 03:32:48 +00:00
Showing only changes of commit 70978c640b - Show all commits

View File

@ -200,6 +200,7 @@ pub fn Outline() -> View {
key.clone(),
elt.id.clone(),
elt.label.clone(),
elt.rep.into_iter().map(|u| u.to_bits()).collect::<Vec<_>>(),
elt.constraints.clone()
)
)