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

Add 'Go to Symbol' to the 'Go' menu #11494

Closed
egamma opened this issue Sep 3, 2016 · 1 comment
Closed

Add 'Go to Symbol' to the 'Go' menu #11494

egamma opened this issue Sep 3, 2016 · 1 comment
Assignees
Labels
feature-request Request for new features or functionality verification-needed Verification of issue is requested verified Verification succeeded

Comments

@egamma
Copy link
Member

egamma commented Sep 3, 2016

The 'Go' menu currently includes Go to Symbol... but it doesn't include Go to any symbol by name and we should add it.

To do so we should rename Go>Go to Symbol to Go>Go to Symbol in File and then add Go>Go to Symbol in Workspace

@egamma egamma added feature-request Request for new features or functionality workbench labels Sep 3, 2016
@bpasero bpasero added this to the September 2016 milestone Sep 4, 2016
@bpasero
Copy link
Member

bpasero commented Sep 4, 2016

image

@bpasero bpasero closed this as completed in a6f0590 Sep 5, 2016
@bpasero bpasero added the verification-needed Verification of issue is requested label Sep 5, 2016
@kieferrm kieferrm added the verified Verification succeeded label Sep 28, 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.
Labels
feature-request Request for new features or functionality verification-needed Verification of issue is requested verified Verification succeeded
Projects
None yet
Development

No branches or pull requests

3 participants