PlutoUI.jl
PlutoUI.jl copied to clipboard
Fix CounterButton initial value
Fixes a double update when a cell defining CounterButton
refreshes.
I also changed the tests to catch this kind of problem, but I'm not sure if that's the right fix. Pluto ignores initial_value
if there is a Base.get
, but the docs for initial_value
seem to say it shouldn't. So maybe this should be fixed in Pluto instead?