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

Support Naming Projects #4431

Open
hferreiro opened this issue Oct 9, 2023 · 4 comments
Open

Support Naming Projects #4431

hferreiro opened this issue Oct 9, 2023 · 4 comments
Labels
workspace Feedback for workspace management, layout, interactions, etc

Comments

@hferreiro
Copy link
Contributor

hferreiro commented Oct 9, 2023 •
edited by notpeter
Loading

Summary

Support user-defined names for projects with multiple folders.

Describe the feature

Currently, projects are named after the folders added to the workspace. This is not very helpful in some situations: badly named git repos, duplicate names for different projects, etc.

It would be very helpful to be able to rename projects in those cases.
@JosephTLyons JosephTLyons added project panel Feedback for files tree view and removed triage labels Oct 10, 2023
@JosephTLyons JosephTLyons transferred this issue from zed-industries/community Jan 24, 2024
@notpeter notpeter mentioned this issue Sep 24, 2024
Closed
1 task
@jansol jansol mentioned this issue Nov 2, 2024
Closed
1 task
@luckzylp

This comment has been minimized.

Sign in to view
@notpeter

This comment has been minimized.

Sign in to view
@hferreiro

This comment has been minimized.

Sign in to view
@notpeter notpeter changed the title allow to rename project Support Naming Projects Feb 26, 2025
@notpeter notpeter added workspace Feedback for workspace management, layout, interactions, etc and removed feature [core label] project panel Feedback for files tree view labels Feb 26, 2025
@notpeter
Copy link
Member

@hferreiro You are correct. I've reopened and adjusted the description accordingly.
Thanks.

@notpeter notpeter reopened this Feb 26, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
workspace Feedback for workspace management, layout, interactions, etc
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
4 participants
@notpeter @hferreiro @JosephTLyons @luckzylp