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

Workbench - add activeRepositoryName and activeRepositoryBranchName variables #204393

Closed
wants to merge 1 commit into from

Conversation

lszomoru
Copy link
Member

@lszomoru lszomoru commented Feb 5, 2024

Related #197498

@bpasero, do you mind taking a look at this PR to make sure that I did not miss something? Thank you!

@lszomoru lszomoru requested a review from bpasero February 5, 2024 18:43
@lszomoru lszomoru added this to the February 2024 milestone Feb 5, 2024
@lszomoru lszomoru enabled auto-merge (squash) February 5, 2024 18:43
@lszomoru lszomoru self-assigned this Feb 5, 2024
Copy link
Member

@bpasero bpasero left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

I think the idea of using context keys is OK and see #202991 for an related issue for extensions to leverage this further.

But I am not a big fan of making the window title dependent on all possible keys, esp. given SCM is a contrib but the title bar is not.

I think we need some kind of way for contrib to contribute variables to the window title. Since we need this early in workbench.contribution.ts, maybe we should have some kind of static registry for it, similar to registerAction2.

@lszomoru
Copy link
Member Author

lszomoru commented Feb 6, 2024

@bpasero, got it. Let me take a stab at it and will make sure to have you review the PR.

@lszomoru
Copy link
Member Author

lszomoru commented Feb 7, 2024

Closing PR as we will pursue another solution.

@lszomoru lszomoru closed this Feb 7, 2024
auto-merge was automatically disabled February 7, 2024 14:42

Pull request was closed

@microsoft microsoft locked and limited conversation to collaborators Jun 10, 2024
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants