-
-
Notifications
You must be signed in to change notification settings - Fork 3.5k
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
Fix workspace reset functionality. #7106
Conversation
Thanks for making a pull request to JupyterLab! To try out this branch on binder, follow this link: |
I tried it out on the PR binder, and while it fixes everything up to point 8 in the issue, the optional point 9 is still broken. |
I.e. the automatic persistence of the workspace seems to be broken after a reset. |
Hm. Back to the drawing board. Let's see. |
Hm, this seems to work for me both on Binder and locally. |
Note: update changelog if this is merged: #7111 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
LGTM, thanks!
const cleared = db | ||
.clear() | ||
.then(() => save.invoke()) | ||
.then(() => router.stop); |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I'm guessing this save turned out to be redundant now, if you wanted to clean that up :)
References
Fixes #7105
Code changes
Saves the state database to the server after a user reset.
User-facing changes
N/A
Backwards-incompatible changes
N/A