JuliaPluto/PlutoUI.jl

Feature request: playback controls

Open

#24 opened on Aug 28, 2020

View on GitHub
 (1 comment) (3 reactions) (0 assignees)Julia (60 forks)auto 404
good first issuehelp wanted

Repository metrics

Stars
 (314 stars)
PR merge metrics
 (No merged PRs in 30d)

Description

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

Contributor guide