pub trait FoldHeaderSetWidgetRefExt {
// Required method
fn fold_header_set(&self, paths: &[&[LiveId]]) -> FoldHeaderSet;
}
pub trait FoldHeaderSetWidgetRefExt {
// Required method
fn fold_header_set(&self, paths: &[&[LiveId]]) -> FoldHeaderSet;
}