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