JuliaPluto/PlutoUI.jl

Feature request: playback controls

Open

#24 aberto em 28 de ago. de 2020

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

Métricas do repositório

Stars
 (314 stars)
Métricas de merge de PR
 (Nenhuma PRs mesclada em 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

Guia do colaborador

Direção de pesquisa
Examine os padrões de implementação dos widgets existentes do PlutoUI (por exemplo, relógio e controle deslizante) e, em seguida, crie um novo widget Playback que vincule um intervalo com uma taxa de quadros configurável e suporte a decomposição de tuplas semelhante a enumerate.
Pilha de tecnologia
None
Domain
frontend
Tipo Issue
Funcionalidade
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
2
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
Meio dia
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Recente
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Claro
Prerequisites
GitJulia
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
70