pub trait PortalListWidgetActionsExt { // Required method fn portal_list(&self, path: &[LiveId]) -> PortalListRef; }