pub trait ModalSetWidgetRefExt { // Required method fn modal_set(&self, paths: &[&[LiveId]]) -> ModalSet; }