JuliaPluto/PlutoUI.jl

Feature request: playback controls

Open

#24 创建于 2020年8月28日

在 GitHub 查看
 (1 评论) (3 反应) (0 负责人)Julia (60 fork)auto 404
good first issuehelp wanted

仓库指标

Star
 (314 star)
PR 合并指标
 (30 天内没有已合并 PR)

描述

Bumping from https://github.com/fonsp/PlutoUI.jl/issues/1#issuecomment-617067021

Basically the clock widget, but bound to a slider-like range of times. It'd be extra nice to provide an enumerate-like interface returning both the index and value of the range:

@bind (i, val) Playback(range(0, 1, length=100); rate = 30) # playback at 30 fps

贡献者指南