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