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

✨ Project Navigator #351

Closed
Tracked by #347
austincondiff opened this issue Mar 31, 2022 · 3 comments
Closed
Tracked by #347

✨ Project Navigator #351

austincondiff opened this issue Mar 31, 2022 · 3 comments
Labels
enhancement New feature or request navigator UI This is UI related workspace

Comments

@austincondiff
Copy link
Collaborator

This is a placeholder issue to track the progress of the project navigator in the navigator sidebar.
@austincondiff austincondiff mentioned this issue Mar 31, 2022
Open
6 tasks
@austincondiff austincondiff added enhancement New feature or request UI This is UI related workspace navigator labels Mar 31, 2022
@stale
Copy link

stale bot commented May 30, 2022

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

@stale stale bot added the wontfix This will not be worked on label May 30, 2022
@austincondiff
Copy link
Collaborator Author

Keep

@stale stale bot removed the wontfix This will not be worked on label May 31, 2022
@KaiTheRedNinja KaiTheRedNinja mentioned this issue Jun 8, 2022
Merged
7 tasks
This was referenced Jul 9, 2022
Merged
Merged
@stale stale bot added the wontfix This will not be worked on label Jul 31, 2022
@CodeEditApp CodeEditApp deleted a comment from stale bot Jul 31, 2022
@austincondiff austincondiff moved this from 🏁 Complete to 🏃‍♂️ In Progress in CodeEdit Project Feb 14, 2023
@KaiTheRedNinja KaiTheRedNinja mentioned this issue May 1, 2023
Merged
6 tasks
@matthijseikelenboom
Copy link
Contributor

Closing because we have mostly implemented this

@github-project-automation github-project-automation bot moved this from 🏃‍♂️ In Progress to 🏁 Complete in CodeEdit Project Dec 25, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement New feature or request navigator UI This is UI related workspace
Projects
CodeEdit Project
Status: 🏁 Complete
Milestone
No milestone
Development

No branches or pull requests
2 participants
@austincondiff @matthijseikelenboom