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

Revert "Fix: diff editor arrow click enables breakpoint " #181040

Merged
merged 1 commit into from
Apr 27, 2023
Merged

Revert "Fix: diff editor arrow click enables breakpoint " #181040

merged 1 commit into from
Apr 27, 2023

Conversation

hediet
Copy link
Member

@hediet hediet commented Apr 27, 2023 •
edited
Loading

Reverts #179130

Fixes #179114

@hediet hediet self-assigned this Apr 27, 2023
@hediet hediet added the candidate Issue identified as probable candidate for fixing in the next release label Apr 27, 2023
@hediet hediet added this to the April 2023 milestone Apr 27, 2023
@roblourens roblourens merged commit c455231 into main Apr 27, 2023
@roblourens roblourens deleted the revert-179130-bug/diff-breakpoint-clash branch April 27, 2023 20:47
@github-actions github-actions bot locked and limited conversation to collaborators Jun 11, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@ulugbekna ulugbekna ulugbekna approved these changes

@alexdima alexdima alexdima approved these changes

Assignees

@hediet hediet

Labels
candidate Issue identified as probable candidate for fixing in the next release
Projects
None yet
Milestone
April 2023
Development

Successfully merging this pull request may close these issues.

Clicking the arrows in diffs on deleted lines doesn't work
4 participants
@hediet @alexdima @ulugbekna @roblourens