JuliaPluto / PlutoUI.jl

https://featured.plutojl.org/basic/plutoui.jl
The Unlicense
299 stars 54 forks source link

Clock: repeat option #271

Closed fonsp closed 7 months ago

fonsp commented 9 months ago

https://github.com/JuliaPluto/PlutoUI.jl/assets/6933510/8cc93f34-7e62-432d-aa63-78199c3bf0b6

This will also be useful for creating short looped animations with https://github.com/JuliaPluto/PlutoSliderServer.jl/pull/29

cc @behinger

github-actions[bot] commented 9 months ago

Try this Pull Request!

Open Julia and type:

  julia> import Pkg
julia> Pkg.activate(temp=true)
julia> Pkg.add(url="https://github.com/JuliaPluto/PlutoUI.jl", rev="clock-repeat")
julia> using PlutoUI

Or run this code in your browser: Run with binder

behinger commented 9 months ago

uhhh, I like it!! Will make the featured notebook even more beautiful :-)

aplavin commented 9 months ago

Maybe, values=1:4 is better?