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

Web: Go to Definition keybinding in the web #82601

Closed
bpasero opened this issue Oct 15, 2019 · 1 comment
Closed

Web: Go to Definition keybinding in the web #82601

bpasero opened this issue Oct 15, 2019 · 1 comment
Assignees
Labels
feature-request Request for new features or functionality keybindings VS Code keybinding issues verification-needed Verification of issue is requested verified Verification succeeded web Issues related to running VSCode in the web
Milestone

Comments

@bpasero
Copy link
Member

bpasero commented Oct 15, 2019

From @sbatten :

At least in the PWA version of the app, binding F12 back to Go to Definition works to override dev tools opening and is most likely what a user would want. I think we should have this keybinding working in the web.

@bpasero bpasero added feature-request Request for new features or functionality keybindings VS Code keybinding issues web Issues related to running VSCode in the web labels Oct 15, 2019
@rebornix rebornix modified the milestones: back, Backlog Oct 21, 2019
@bpasero bpasero self-assigned this Oct 23, 2019
@bpasero bpasero modified the milestones: Backlog, October 2019 Oct 23, 2019
@bpasero bpasero added the verification-needed Verification of issue is requested label Oct 23, 2019
@bpasero
Copy link
Member Author

bpasero commented Oct 23, 2019

Verify: install web as PWA and ensure F12 can be used to goto def.

@sbatten sbatten added the verified Verification succeeded label Oct 24, 2019
@vscodebot vscodebot bot locked and limited conversation to collaborators Dec 7, 2019
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 keybindings VS Code keybinding issues verification-needed Verification of issue is requested verified Verification succeeded web Issues related to running VSCode in the web
Projects
None yet
Development

No branches or pull requests

4 participants