Add method for generator given to Select

JuliaPluto / PlutoUI.jl

https://featured.plutojl.org/basic/plutoui.jl

The Unlicense

299 stars 54 forks source link

Add method for generator given to Select #213

Open KronosTheLate opened 2 years ago

KronosTheLate commented 2 years ago

This PR adds a method for select for the first argument of type Generator. An example is added.

The added method only sometimes played nice when default values were provided. In my testing, I was unable to figure out the reason. More testing should be done before this is merged to resolve the buggy behaviour when providing default values.

github-actions[bot] commented 2 years ago

Try this Pull Request!

Open Julia and type:

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

Or run this code in your browser: