fn unlocked_level( ctx: &mut EventCtx<'_>, app: &SimpleApp<Session>, level: &Level, idx: usize) -> Widget