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

Restore entire workspace state on reload #15551

Closed
1 task done
notpeter opened this issue Jul 31, 2024 · 1 comment
Closed
1 task done

Restore entire workspace state on reload #15551

notpeter opened this issue Jul 31, 2024 · 1 comment
Labels
duplicate Additional reports of an existing issue

Comments

@notpeter
Copy link
Member

notpeter commented Jul 31, 2024 •
edited
Loading

Check for existing issues

  • Completed

Describe the feature

It would be ideal if when Zed was reloaded (applying update, zed: reload workspace, etc) if the entire workspace state was restored. We're well on our way there!

Duplicate of:

If applicable, add mockups / screenshots to help present your vision of the feature

No response
@notpeter notpeter added enhancement [core label] triage Maintainer needs to classify the issue admin read Pending admin review workspace Feedback for workspace management, layout, interactions, etc serialization Restoration of the editor state after a restart and removed triage Maintainer needs to classify the issue admin read Pending admin review labels Jul 31, 2024
@github-actions github-actions bot mentioned this issue Aug 1, 2024
Open
@notpeter notpeter added duplicate Additional reports of an existing issue and removed enhancement [core label] workspace Feedback for workspace management, layout, interactions, etc serialization Restoration of the editor state after a restart labels Aug 2, 2024
@notpeter
Copy link
Member Author

notpeter commented Aug 2, 2024

Closed as duplicate of:

@github-actions github-actions bot mentioned this issue Aug 3, 2024
Open
@SomeoneToIgnore SomeoneToIgnore closed this as not planned Won't fix, can't repro, duplicate, stale Aug 29, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
duplicate Additional reports of an existing issue
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@notpeter @SomeoneToIgnore