Skip to content

Custom tab labels #197205

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

Open
wants to merge 5 commits into
base: main
Choose a base branch
from
Open

Custom tab labels #197205

wants to merge 5 commits into from

Conversation

Alex0007
Copy link

@Alex0007 Alex0007 commented Nov 2, 2023

demo

Expose window.tabGroups.renameTab method which allows setting of custom tab name/descriptions

Related issue: #41909

Extension with usage examples: https://github.com/Alex0007/tab-labels-sample

@Alex0007
Copy link
Author

Alex0007 commented Nov 2, 2023

@microsoft-github-policy-service agree

@lramos15
Copy link
Member

lramos15 commented Nov 2, 2023

Thanks for taking a look at this, please get CI passing so I can give a more accurate review of its final state

@lramos15 lramos15 self-requested a review November 2, 2023 17:30
@bpasero bpasero requested a review from benibenj November 2, 2023 18:57
@benmccann
Copy link
Contributor

Thanks @lramos15! It looks like those changes were made. Could you kick off the CI to run again?

@lramos15
Copy link
Member

lramos15 commented Jan 3, 2024

This is still on my radar, just ramping back up after the holiday season. there are a few merge conflicts that either you may fix or I'll fix when I have time before thoroughly testing the PR. The CI appears green now.

@lramos15
Copy link
Member

Just providing and update that this won't make it into this months release. Things have been a bit busy with the post holiday ramp up and after discussion within the team there is more that @benibenj and I want to tackle here around having this work other places editor labels exist such as the quick pick and open editors view. It's something we need to plan for in our iteration.

@benibenj benibenj removed their request for review July 11, 2024 14:59
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants