Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Indicate in notebook if update from server is not received yet #64

Closed
lungben opened this issue Mar 11, 2022 · 1 comment · Fixed by fonsp/Pluto.jl#2601
Closed

Indicate in notebook if update from server is not received yet #64

lungben opened this issue Mar 11, 2022 · 1 comment · Fixed by fonsp/Pluto.jl#2601
Labels
enhancement New feature or request Pluto.jl frontend Requires integration with/changes to Pluto's frontend (JS) codebase

Comments

@lungben
Copy link

lungben commented Mar 11, 2022

When changing elements in the notebook which trigger longer running calculations on the server, it is currently not visible for the user if the notebook is already updated with the new results or not.

It would be great to have the same UI as for "normal" Pluto notebooks indicating that a notebook is running (here: there is a backend request awaiting an answer) and which cells are not updated yet.
@fonsp fonsp added enhancement New feature or request Pluto.jl frontend Requires integration with/changes to Pluto's frontend (JS) codebase labels Apr 5, 2022
@lungben lungben mentioned this issue May 24, 2022
Closed
@lungben
Copy link
Author

lungben commented May 24, 2022

As far as I can see, this needs to be implemented on Pluto side, see linked issue.

@ctrekker ctrekker mentioned this issue Jul 11, 2023
Closed
@fonsp fonsp linked a pull request Jul 17, 2023 that will close this issue
🚦Slider server running status fonsp/Pluto.jl#2601
Merged
@fonsp fonsp closed this as completed Oct 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request Pluto.jl frontend Requires integration with/changes to Pluto's frontend (JS) codebase
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

🚦Slider server running status fonsp/Pluto.jl
2 participants
@fonsp @lungben