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.

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

🔔 Notify when all cells completed #2531

Merged
merged 1 commit into from
Apr 18, 2023
Merged

🔔 Notify when all cells completed #2531

merged 1 commit into from
Apr 18, 2023

Conversation

fonsp
Copy link
Owner

@fonsp fonsp commented Apr 11, 2023

New feature! When the Status tab (#2399) is busy for a while, a new button shows up to ask Pluto to notify you when all tasks (including cells) are done. 🤩

Clicking the notification brings the notebook back into focus!

Screen.recording.2023-04-11.21.40.13.webm

Features:

  • The "everything done" event is debounced by 3 seconds, because sometimes running cells can trigger more cells to run (e.g. running using Example, @bind or PlutoHooks.jl).
  • If you reject Notification permissions, the button just doesn't work.

Because of #2523, you can use this feature when you start a binder, and get notified when the notebook completed execution!

@fonsp fonsp added frontend Concerning the HTML editor online deployment About deploying to binder, heroku, self-hosted wide audience This affects a wide audience of Pluto users and future Pluto users labels Apr 11, 2023
@github-actions
Copy link
Contributor

Try this Pull Request!

Open Julia and type:

julia> import Pkg
julia> Pkg.activate(temp=true)
julia> Pkg.add(url="https://github.com/fonsp/Pluto.jl", rev="notify-when-done")
julia> using Pluto

@fonsp fonsp merged commit 57a50d2 into main Apr 18, 2023
@fonsp fonsp deleted the notify-when-done branch April 18, 2023 11:05
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
frontend Concerning the HTML editor online deployment About deploying to binder, heroku, self-hosted wide audience This affects a wide audience of Pluto users and future Pluto users
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant