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

Rename contributions page in extension view #89753

Closed
bepvte opened this issue Jan 30, 2020 · 2 comments · Fixed by #89842
Closed

Rename contributions page in extension view #89753

bepvte opened this issue Jan 30, 2020 · 2 comments · Fixed by #89842
Assignees
@sandy081
Labels
extensions Issues concerning extensions polish Cleanup and polish issue
Milestone
February 2020

Comments

@bepvte
Copy link
Contributor

bepvte commented Jan 30, 2020

Issue Type: Feature Request

I never used the "Contributions" tab in extensions, thinking it was for recent github contributions to the extension. I accidentially pressed it once, and found it very useful. I think the name "Contributions" is confusing and that "Details", "Internals" , "Technical Details", or something similar would make it much clearer.

VS Code version: Code 1.41.1 (26076a4, 2019-12-18T15:04:31.999Z)
OS version: Linux x64 5.4.14-200.fc31.x86_64
@sandy081
Copy link
Member

These are in fact contributions to VS Code. How about Feature Contributions ?

@sandy081 sandy081 added extensions Issues concerning extensions polish Cleanup and polish issue labels Jan 31, 2020
@sandy081 sandy081 added this to the Backlog Candidates milestone Jan 31, 2020
@vscodebot
Copy link

vscodebot bot commented Jan 31, 2020

This feature request is now a candidate for our backlog. The community has 60 days to upvote the issue. If it receives 20 upvotes we will move it to our backlog. If not, we will close it. To learn more about how we handle feature requests, please see our documentation.

Happy Coding!

@bepvte bepvte mentioned this issue Feb 1, 2020
Merged
@vscodebot vscodebot bot locked and limited conversation to collaborators Mar 22, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@sandy081 sandy081

Labels
extensions Issues concerning extensions polish Cleanup and polish issue
Projects
None yet
Milestone
February 2020
Development

Successfully merging a pull request may close this issue.

Rename "Contributions" to "Feature Contributions"
2 participants
@bepvte @sandy081