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