JuliaPluto/PlutoUI.jl

Feature request: playback controls

Open

#24 geöffnet am 28. Aug. 2020

Auf GitHub ansehen
 (1 Kommentar) (3 Reaktionen) (0 zugewiesene Personen)Julia (60 Forks)auto 404
good first issuehelp wanted

Repository-Metriken

Stars
 (314 Stars)
PR-Merge-Metriken
 (Keine gemergten PRs in 30 T)

Beschreibung

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