get(slider::RangeSlider)
unnecessarily (?) returns an array instead of a range
#130
Labels
needs Pluto.jl feature
Can't be done right now because something is missing from Pluto.jl itself
I've just attempted to put the result of a
RangeSlider
into the title of my plot, but it immediately crashed Pluto:I expected the title to become something like
"Clusters over time (1:100)"
. However, Pluto crashed with this error:I looked at the code of the
RangeSlider
and was very surprised byget(slider::RangeSlider)
returning an array, while, given that the UI element is calledRangeSlider
, I expected to get arange
:/~https://github.com/fonsp/PlutoUI.jl/blob/a107c6aa010dff1ab9574874143007786fa86451/src/RangeSlider.jl#L64
Indeed,
"$the_range"
is a big string in my case, so I guess there were problems displaying it...Wouldn't it make sense to return a
range
instead of an array, likeget(slider::RangeSlider) = slider.left:step(slider.range):slider.right
?The text was updated successfully, but these errors were encountered: