pub trait PageFlipWidgetActionsExt { // Required method fn page_flip(&self, path: &[LiveId]) -> PageFlipRef; }