-
Notifications
You must be signed in to change notification settings - Fork 2.5k
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
[enhancement] display the number of 'enabled' plugins #6710
Labels
enhancement
issues that are enhancements to current functionality - nice to haves
plug-in system
issues related to the plug-in system
ui/ux
issues related to user interface / user experience
Comments
vince-fugnitto
changed the title
[Enhancement] Would be nice to see how many plugins are enable
[enhancement] display the number of 'enabled' plugins
Dec 6, 2019
vince-fugnitto
added
enhancement
issues that are enhancements to current functionality - nice to haves
plug-in system
issues related to the plug-in system
ui/ux
issues related to user interface / user experience
labels
Feb 13, 2020
seantan22
pushed a commit
to seantan22/theia
that referenced
this issue
Jan 29, 2021
What it does Related to [eclipse-theia#6710](eclipse-theia#6710) - Displays a count of `Installed` and `Built-In` extensions. How to test 1. Open the `Extensions` view. 2. Observe that counts are displayed in the tree-view titles. 3. Install/uninstall extensions & observe that the count is updated. Signed-off-by: seantan22 <sean.a.tan@ericsson.com>
1 task
seantan22
pushed a commit
to seantan22/theia
that referenced
this issue
Jan 29, 2021
What it does Related to [eclipse-theia#6710] - Displays a count of `Installed` and `Built-In` extensions. How to test 1. Open the `Extensions` view. 2. Observe that counts are displayed in the tree-view titles. 3. Install/uninstall extensions & observe that the count is updated. Signed-off-by: seantan22 <sean.a.tan@ericsson.com>
seantan22
pushed a commit
to seantan22/theia
that referenced
this issue
Jan 29, 2021
What it does Related to [eclipse-theia#6710] - Displays a count of `Installed` and `Built-In` extensions. How to test 1. Open the `Extensions` view. 2. Observe that counts are displayed in the toolbar item titles. 3. Install/uninstall extensions & observe that the count is updated. Signed-off-by: seantan22 <sean.a.tan@ericsson.com>
seantan22
pushed a commit
to seantan22/theia
that referenced
this issue
Feb 1, 2021
What it does Related to [eclipse-theia#6710] - Displays a count of `Installed` and `Built-In` extensions. How to test 1. Open the `Extensions` view. 2. Observe that counts are displayed in the toolbar item titles. 3. Install/uninstall extensions & observe that the count is updated. Signed-off-by: seantan22 <sean.a.tan@ericsson.com>
Closed thanks to #11248. |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Labels
enhancement
issues that are enhancements to current functionality - nice to haves
plug-in system
issues related to the plug-in system
ui/ux
issues related to user interface / user experience
Description
When you deal with list of plugins, It would be nice to know how many plugins are active or eventually recommended. Something similar to what is available in VSCode.
Reproduction Steps
Open Theia plugins view with many plugins in it
OS and Theia version:
Ubuntu 16.04
Theia: latest
Diagnostics:
VSCode examle:
The text was updated successfully, but these errors were encountered: