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

fix: modified editor width(#175397) #188012

Merged
merged 3 commits into from
Jul 19, 2023
Merged

fix: modified editor width(#175397) #188012

merged 3 commits into from
Jul 19, 2023

Conversation

yshaojun
Copy link
Contributor

Fix #175397

hediet
hediet previously approved these changes Jul 17, 2023
View reviewed changes
@hediet hediet enabled auto-merge July 17, 2023 08:38
@hediet hediet added this to the July 2023 milestone Jul 17, 2023
@hediet
Copy link
Member

hediet commented Jul 17, 2023

Thanks!

@yshaojun
Copy link
Contributor Author

Hi @hediet, anyone else who can do the PR approval?

@hediet
Copy link
Member

hediet commented Jul 19, 2023

I´m just noticing, this is still in issue in the diff editor v2. Could you look into that?

auto-merge was automatically disabled July 19, 2023 12:30

Head branch was pushed to by a user without write access

@yshaojun
Copy link
Contributor Author

I´m just noticing, this is still in issue in the diff editor v2. Could you look into that?

Sure. I committed again, please check.

@hediet hediet enabled auto-merge July 19, 2023 13:59
@hediet
Copy link
Member

hediet commented Jul 19, 2023

Thank you!

@hediet hediet merged commit c4a3616 into microsoft:main Jul 19, 2023
@github-actions github-actions bot locked and limited conversation to collaborators Sep 2, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@hediet hediet hediet approved these changes

@roblourens roblourens roblourens approved these changes

Assignees

@hediet hediet

Labels
None yet
Projects
None yet
Milestone
July 2023
Development

Successfully merging this pull request may close these issues.

Banner close button hidden behind scroll bar during file comparison
3 participants
@yshaojun @hediet @roblourens