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

in multiple git repositories workspace, can't view/focus changes on keypress up arrow and enter in source control provider view #73139

Merged
merged 1 commit into from
Jul 29, 2019

Conversation

cedric05
Copy link
Contributor

@cedric05 cedric05 commented May 1, 2019

No description provided.

@cedric05
Copy link
Contributor Author

cedric05 commented May 2, 2019

currently
https://imgur.com/UnRxDeT
ezgif com-video-to-gif

@joaomoreno joaomoreno added the git GIT issues label May 3, 2019
@joaomoreno joaomoreno added this to the Backlog milestone May 3, 2019
@cedric05
Copy link
Contributor Author

is this pr under consideration? or left out?

@joaomoreno
Copy link
Member

Under consideration.

@cedric05
Copy link
Contributor Author

cedric05 commented Jul 28, 2019

@joaomoreno i think it kinda entered limbo state.

@joaomoreno joaomoreno merged commit 4efd133 into microsoft:master Jul 29, 2019
@joaomoreno
Copy link
Member

Great fix, sorry for the delay, thanks! 🍻

@joaomoreno joaomoreno modified the milestones: Backlog, July 2019 Jul 29, 2019
@cedric05 cedric05 deleted the scm branch July 29, 2019 06:43
@github-actions github-actions bot locked and limited conversation to collaborators Mar 27, 2020
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
git GIT issues
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants