JuliaPluto/PlutoUI.jl

Feature request: playback controls

Open

Aperta il 28 ago 2020

Vedi su GitHub
 (1 commento) (3 reazioni) (0 assegnatari)Julia (314 star) (60 fork)auto 404
good first issuehelp wanted

Descrizione

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

Guida contributor