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

References: focus editor on double click #101522

Closed
bpasero opened this issue Jul 1, 2020 · 3 comments
Closed

References: focus editor on double click #101522

bpasero opened this issue Jul 1, 2020 · 3 comments
Assignees
Labels
api *duplicate Issue identified as a duplicate of another issue(s) feature-request Request for new features or functionality references-viewlet

Comments

@bpasero
Copy link
Member

bpasero commented Jul 1, 2020

I am not sure we have API in custom tree land for this, but e.g. the explorer focuses the editor when you double-click a file.

@jrieken
Copy link
Member

jrieken commented Jul 1, 2020

no api for that

@jrieken jrieken added api feature-request Request for new features or functionality labels Jul 1, 2020
@jrieken jrieken added this to the Backlog milestone Jul 1, 2020
@alexr00
Copy link
Member

alexr00 commented Jul 2, 2020

The custom tree API part of this is a duplicate #85636

@alexr00 alexr00 marked this as a duplicate of #85636 Jul 2, 2020
@alexr00 alexr00 closed this as completed Jul 2, 2020
@alexr00 alexr00 reopened this Jul 2, 2020
@alexr00 alexr00 removed this from the Backlog milestone Nov 5, 2020
@alexr00 alexr00 added the *duplicate Issue identified as a duplicate of another issue(s) label Nov 5, 2020
@github-actions github-actions bot locked and limited conversation to collaborators Dec 20, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
api *duplicate Issue identified as a duplicate of another issue(s) feature-request Request for new features or functionality references-viewlet
Projects
None yet
Development

No branches or pull requests

4 participants
@bpasero @jrieken @alexr00 and others