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