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

Add more entries from the About menu to command pallette #2619

Closed
prasannavl opened this issue Feb 1, 2016 · 4 comments
Closed

Add more entries from the About menu to command pallette #2619

prasannavl opened this issue Feb 1, 2016 · 4 comments
Labels
feature-request Request for new features or functionality
Milestone
Backlog

Comments

@prasannavl
Copy link

The entire help menu is missing in the command palette. So, I can surmise that it was a design decision to not potentially "pollute" the command palette. But there are useful items, like "Check for updates", "About" to quickly view version info, and "Toggle dev tools". Perhaps, add these options to the command palette?
@bpasero bpasero changed the title Missing commands in the command palette. Add more entries from the About menu to command pallette Feb 2, 2016
@bpasero bpasero added feature-request Request for new features or functionality workbench labels Feb 2, 2016
@bpasero bpasero added this to the Backlog milestone Feb 2, 2016
@bpasero bpasero removed their assignment Feb 2, 2016
@bpasero
Copy link
Member

bpasero commented Feb 2, 2016

Toggle developer tools is in, the others are not.

@bpasero
Copy link
Member

bpasero commented Feb 2, 2016

image

@bpasero bpasero added the help wanted Issues identified as good community contribution opportunities label Feb 8, 2016
@bpasero bpasero self-assigned this Mar 30, 2016
@Tyriar
Copy link
Member

Tyriar commented May 28, 2016

@bpasero would we accept a change for this? I tend to agree with the polluting the command palette argument. The menu is already reasonably accessible via alt+h.

@bpasero bpasero removed the help wanted Issues identified as good community contribution opportunities label Jul 12, 2016
@bpasero bpasero removed their assignment Aug 17, 2016
@bpasero
Copy link
Member

bpasero commented Nov 16, 2017

This feature request will not be considered in the next 6-12 months roadmap and as such will be closed to keep the number of issues we have to maintain actionable. Thanks for understanding and happy coding!

@bpasero bpasero closed this as completed Nov 16, 2017
@vscodebot vscodebot bot locked and limited conversation to collaborators Dec 31, 2017
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees
No one assigned
Labels
feature-request Request for new features or functionality
Projects
None yet
Milestone
Backlog
Development

No branches or pull requests
3 participants
@prasannavl @bpasero @Tyriar