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

✨ Handle Workspace Root Change #1880

Open
thecoolwinter opened this issue Sep 12, 2024 · 1 comment
Open

✨ Handle Workspace Root Change #1880

thecoolwinter opened this issue Sep 12, 2024 · 1 comment
Labels
enhancement New feature or request workspace

Comments

@thecoolwinter
Copy link
Collaborator

thecoolwinter commented Sep 12, 2024

Description

Handling the event where the root of the project is moved or deleted should be handled gracefully. Right now we have a TODO comment in the directory events to handle this.

What should happen when the root is moved:

  • Prompt the user with a panel that covers the workspace and offer two options
    • Re-locate the workspace - user selects a directory and we re-identify the current workspace to the user-specified path.
    • Close the workspace - close the workspace and remove it from recently opened, etc.
@austincondiff
Copy link
Collaborator

Currently this is what happens:

  • Open folder
  • Open file within workspace
  • Modify file
  • Move the folder represented by the open workspace in finder
  • Modify the open file once more in CodeEdit
  • The file is modified in the new location, I can confirm this by opening this file in another editor and seeing my modifications made after the folder was moved.

Is there anything else that doesn't work right after moving the folder that we need to address?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request workspace
Projects
Status: 🆕 New
Development

No branches or pull requests

2 participants