On Monday, September 8, 2014 11:15:05 AM UTC-4, Andrei Berceanu wrote:
>
> Another option would be to use drop-down boxes with selectable values or
> custom text boxes instead of sliders, at least as a temporary fix. Anyone
> knows how I can do that?
>
Just wrap dropdown(...) around the range to get a dropdown menu instead of
a slider:
@manipulate for n in dropdown(1:5)
...
end
By the way, iirc, IPython does have the update-on-release mechanism
> implemented in their interactive widget functionality.
>>
>>
We are using the same JavaScript widgets as IPython. Maybe you just need
to set some option when the widget is created?
