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

Allow changes while waiting for binder backend #1694

Open
fonsp opened this issue Nov 27, 2021 · 2 comments
Open

Allow changes while waiting for binder backend #1694

fonsp opened this issue Nov 27, 2021 · 2 comments
Assignees
@dralletje @fonsp
Labels
enhancement New feature or request frontend Concerning the HTML editor publishing Notebooks as static documents on the web

Comments

@fonsp
Copy link
Owner

fonsp commented Nov 27, 2021

We currently disable editing while waiting for the binder backend to connect, which is annoying. Instead, we should save up the patches until we connect, and send all patches in one go afterwards.

This would allow me to export an empty notebook to HTML, host that online, and we have online Pluto with instant editing.
@fonsp fonsp added enhancement New feature or request frontend Concerning the HTML editor online deployment About deploying to binder, heroku, self-hosted labels Nov 27, 2021
@fonsp
Copy link
Owner Author

fonsp commented Apr 26, 2023

Needed for #2538

@fonsp
Copy link
Owner Author

fonsp commented Apr 26, 2023

For this one, it would be nice to first remove the responses[:run_multiple_cells] action, and make that part of effects_of_changed_state. E.g. each cell could have fields run_requested_at, run_performed_at. When you press Shift+Enter, run_requested_at is increased, and when the backend starts that run, it sets cell.run_performed_at = cell.run_requested_at. This is also related to #220

@fonsp fonsp mentioned this issue Apr 26, 2023
Draft
16 tasks
@fonsp fonsp added publishing Notebooks as static documents on the web and removed online deployment About deploying to binder, heroku, self-hosted labels Oct 30, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@dralletje dralletje

@fonsp fonsp

Labels
enhancement New feature or request frontend Concerning the HTML editor publishing Notebooks as static documents on the web
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@dralletje @fonsp