pub trait CodeViewWidgetExt { // Required method fn code_view(&self, path: &[LiveId]) -> CodeViewRef; }