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

Hide UI elements that do not apply to vscode.dev #17252

Closed
karrtikr opened this issue Sep 2, 2021 · 0 comments · Fixed by #17698
Closed

Hide UI elements that do not apply to vscode.dev #17252

karrtikr opened this issue Sep 2, 2021 · 0 comments · Fixed by #17698
Assignees
@karrtikr
Labels
area-editor-* User-facing catch-all feature-request Request for new features or functionality verified Verification succeeded
Milestone
October 2021

Comments

@karrtikr
Copy link

karrtikr commented Sep 2, 2021

https://github.com/microsoft/vscode-python-internalbacklog/issues/379
@karrtikr karrtikr added feature-request Request for new features or functionality needs PR area-editor-* User-facing catch-all labels Sep 2, 2021
@github-actions github-actions bot added the triage-needed Needs assignment to the proper sub-team label Sep 2, 2021
@karrtikr karrtikr removed the triage-needed Needs assignment to the proper sub-team label Sep 2, 2021
@kieferrm kieferrm mentioned this issue Sep 20, 2021
Closed
17 tasks
@kieferrm kieferrm mentioned this issue Oct 10, 2021
Closed
10 tasks
@karrtikr karrtikr added this to the October 2021 milestone Oct 11, 2021
@karrtikr karrtikr mentioned this issue Oct 11, 2021
Merged
@karrtikr karrtikr self-assigned this Oct 11, 2021
@karrtikr karrtikr added the verified Verification succeeded label Oct 25, 2021
@kieferrm kieferrm mentioned this issue Nov 7, 2021
Closed
32 tasks
@github-actions github-actions bot locked as resolved and limited conversation to collaborators Nov 27, 2021
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Assignees

@karrtikr karrtikr

Labels
area-editor-* User-facing catch-all feature-request Request for new features or functionality verified Verification succeeded
Projects
None yet
Milestone
October 2021
Development

Successfully merging a pull request may close this issue.

Hide UI elements that are not applicable when using github.dev karrtikr/vscode-python
1 participant
@karrtikr