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

Dashboard: Remove plugins and editors lists from workspace creation page #12896

Closed
ashumilova opened this issue Mar 15, 2019 · 0 comments
Closed
Labels
kind/enhancement A feature request - must adhere to the feature request template. status/open-for-dev An issue has had its specification reviewed and confirmed. Waiting for an engineer to take it.

Comments

@ashumilova
Copy link
Contributor

To avoid user's confusion, while creating workspace from stack, we decided to remove plugins and editors lists. Everything will be set in well-defined stack. If user wants to manage plugins - s/he will be able to do that on Plugins page of workspace details or directly in Theia IDE.

@ashumilova ashumilova added kind/enhancement A feature request - must adhere to the feature request template. status/open-for-dev An issue has had its specification reviewed and confirmed. Waiting for an engineer to take it. team/ide2 labels Mar 15, 2019
@slemeur slemeur changed the title Remove plugins and editors lists from workspace creation page Dashboard: Remove plugins and editors lists from workspace creation page Mar 18, 2019
@l0rd l0rd mentioned this issue Mar 18, 2019
@evidolob evidolob closed this as completed Apr 3, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
kind/enhancement A feature request - must adhere to the feature request template. status/open-for-dev An issue has had its specification reviewed and confirmed. Waiting for an engineer to take it.
Projects
None yet
Development

No branches or pull requests

3 participants