Pluto.jl
Pluto.jl copied to clipboard
PlutoSliderServer: Indicate in notebook if update from server is not received yet
https://github.com/JuliaPluto/PlutoSliderServer.jl/issues/64
As far as I can see, this needs to be implemented on Pluto side.
A starting point could be here: https://github.com/fonsp/Pluto.jl/blob/main/frontend/common/SliderServerClient.js#L71
Before sending the update request to the backend, an indicator that an update is in progress could be shown and hidden after the request has been finished.