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

Show Toggle Developer Tools under the View menu #1971

Closed
CaiusTSM opened this issue Jan 13, 2016 · 2 comments
Closed

Show Toggle Developer Tools under the View menu #1971

CaiusTSM opened this issue Jan 13, 2016 · 2 comments
Labels
feature-request Request for new features or functionality
Milestone
Backlog

Comments

@CaiusTSM
Copy link

Hello, I was thinking that it might make a bit more sense to put the Toggle Developer Tools in view, as it brings up a developer view pane. Right now it is under the help menu. Just a small thing bugging me :)
@isidorn isidorn added the feature-request Request for new features or functionality label Jan 13, 2016
@isidorn
Copy link
Contributor

isidorn commented Jan 13, 2016

I think it belongs in the help menu since it should not be too visible.
Forwared to Ben for opinions

@bpasero bpasero changed the title Toggle Developer Tools Show Toggle Developer Tools under the View menu Jan 13, 2016
@bpasero bpasero added this to the Backlog milestone Jan 13, 2016
@bpasero bpasero removed their assignment Jan 13, 2016
@bpasero
Copy link
Member

bpasero commented Jan 13, 2016

Valid feature request, but will not change it for the reasons mentioned.

@bpasero bpasero closed this as completed Mar 14, 2016
@vscodebot vscodebot bot locked and limited conversation to collaborators Nov 18, 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
@CaiusTSM @bpasero @isidorn