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

Meta: use this extension outside VSCode #637

Closed
danieldreier opened this issue May 18, 2021 · 3 comments
Closed

Meta: use this extension outside VSCode #637

danieldreier opened this issue May 18, 2021 · 3 comments
Labels
enhancement New feature or request meta

Comments

@danieldreier
Copy link

This is a thematic tracking issue to describe the broader set of requests around using this extension outside of VSCode, for example in Theia. The purpose of this issue is to consolidate tracking of those requests; work will need to be planned more concretely before implementation starts.

@danieldreier danieldreier added enhancement New feature or request meta labels May 18, 2021
@danieldreier
Copy link
Author

#379 is an instance of this

@radeksimko
Copy link
Member

Addressed as part of #1064

@github-actions
Copy link

I'm going to lock this issue because it has been closed for 30 days ⏳. This helps our maintainers find and focus on the active issues.
If you have found a problem that seems similar to this, please open a new issue and complete the issue template so we can capture all the details necessary to investigate further.

@github-actions github-actions bot locked as resolved and limited conversation to collaborators Dec 25, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
enhancement New feature or request meta
Projects
None yet
Development

No branches or pull requests

2 participants