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

Editor drag and drop for breakpoints #114717

Closed
wants to merge 2 commits into from
Closed

Editor drag and drop for breakpoints #114717

wants to merge 2 commits into from
+91 −27

Conversation

isidorn
Copy link
Contributor

@isidorn isidorn commented Jan 21, 2021

#88227

This PR:

  • Changes the editor such that the drag event is fired also for dragging from glyph margin
  • Adopts the editor drag event in breakpoints such that we allow drag and drop of breakpoints

@isidorn isidorn requested a review from alexdima January 21, 2021 17:08
@isidorn isidorn self-assigned this Jan 21, 2021
@isidorn isidorn mentioned this pull request Jan 22, 2021
Open
@joaomoreno joaomoreno changed the base branch from master to main February 15, 2021 08:51
@isidorn isidorn closed this Aug 18, 2021
@github-actions github-actions bot locked and limited conversation to collaborators Oct 2, 2021
@isidorn isidorn deleted the isidorn/editor-draw branch November 2, 2023 14:18
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@alexdima alexdima Awaiting requested review from alexdima

Assignees

@isidorn isidorn

Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
1 participant
@isidorn