Scrubbable numbers inside code

[fonsp]

Here is a future PlutoUI widget: a scrubbable number:

Notebook:
https://github.com/fonsp/disorganised-mess/blob/master/scrubbable%20numbers.jl

https://julialang.zulipchat.com/#narrow/stream/243342-pluto.2Ejl/topic/Scrubbable.20numbers

Note: this would be an experiment, it's not guaranteed to be added to Pluto

[DhruvaSambrani]

I was wondering, how is it different from a slider?

[lungben]

The basic idea is that this would be an automatic slider for each number literal in any Pluto cell.
It is less prominent than a slider and less configurable (step sizes set automatically by some heuristics), but it would be automatically available without explicitly having to define a slider.