Skip to content

✨ Extension Navigator #355

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

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

✨ Extension Navigator #355

austincondiff opened this issue Mar 31, 2022 · 5 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 extension navigator in the navigator sidebar.

@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
@stale
Copy link

stale bot commented Jul 31, 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 Jul 31, 2022
@jhoogstraat
Copy link

I am creating a scaffold for the future extension store.

@austincondiff
Copy link
Collaborator Author

austincondiff commented Apr 3, 2023

This has been moved to Settings seen in #1066. Closing this issue as it is no longer applicable. Feel free to refer to #375 instead. If you do, continue discussion over there.

@github-project-automation github-project-automation bot moved this from 📋 Todo to 🏁 Complete in CodeEdit Project Apr 3, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
enhancement New feature or request navigator UI This is UI related workspace
Projects
Status: 🏁 Complete
Development

No branches or pull requests

2 participants