JuliaPluto/PlutoUI.jl

Feature request: playback controls

Open

#24 ouverte le 28 août 2020

Voir sur GitHub
 (1 commentaire) (3 réactions) (0 assignés)Julia (60 forks)auto 404
good first issuehelp wanted

Métriques du dépôt

Stars
 (314 stars)
Métriques de merge PR
 (Aucune PR mergée en 30 j)

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

Guide contributeur