pub trait FoldHeaderWidgetRefExt {
// Required methods
fn fold_header(&self, path: &[LiveId]) -> FoldHeaderRef;
fn as_fold_header(&self) -> FoldHeaderRef;
}
pub trait FoldHeaderWidgetRefExt {
// Required methods
fn fold_header(&self, path: &[LiveId]) -> FoldHeaderRef;
fn as_fold_header(&self) -> FoldHeaderRef;
}