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

Demix pointer events from GlobalEventHandlers #16674

Merged
merged 10 commits into from
Jul 11, 2022
Merged

Demix pointer events from GlobalEventHandlers #16674

merged 10 commits into from
Jul 11, 2022

Conversation

queengooborg
Copy link
Collaborator

This PR demixes the pointer events from the GlobalEventHandlers mixin.

@github-actions github-actions bot added the data:api 🐇 Compat data for Web APIs. https://developer.mozilla.org/docs/Web/API label Jun 14, 2022
@queengooborg queengooborg mentioned this pull request Jun 14, 2022
Closed
@queengooborg queengooborg added the needs content update 📝 This PR needs a corresponding update to mdn/content to update the documentation label Jun 15, 2022
@github-actions
Copy link

This pull request has merge conflicts that must be resolved before it can be merged.

@github-actions
Copy link

This pull request has merge conflicts that must be resolved before it can be merged.

@github-actions
Copy link

This pull request has merge conflicts that must be resolved before it can be merged.

@github-actions
Copy link

This pull request has merge conflicts that must be resolved before it can be merged.

@github-actions
Copy link

This pull request has merge conflicts that must be resolved before it can be merged.

foolip
foolip requested changes Jul 5, 2022
View reviewed changes
Copy link
Collaborator

@foolip foolip left a comment

Choose a reason for hiding this comment

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

Can you move the HTMLElement entries to Element and remove everything else?

@github-actions
Copy link

github-actions bot commented Jul 7, 2022

This pull request has merge conflicts that must be resolved before it can be merged.

@github-actions
Copy link

github-actions bot commented Jul 9, 2022

This pull request has merge conflicts that must be resolved before it can be merged.

foolip
foolip requested changes Jul 9, 2022
View reviewed changes
api/Element.json Outdated Show resolved Hide resolved
@github-actions
Copy link

This pull request has merge conflicts that must be resolved before it can be merged.

@queengooborg queengooborg mentioned this pull request Jul 11, 2022
Merged
@queengooborg queengooborg merged commit 4084c3e into mdn:main Jul 11, 2022
@queengooborg queengooborg deleted the api/GlobalEventHandlers/pointer branch July 11, 2022 18:40
@Elchi3 Elchi3 removed the needs content update 📝 This PR needs a corresponding update to mdn/content to update the documentation label Aug 18, 2022
@Elchi3 Elchi3 mentioned this pull request Sep 1, 2022
Merged
This was referenced Sep 16, 2022
Merged
Merged
@saschanaz saschanaz mentioned this pull request Sep 17, 2022
Closed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@foolip foolip foolip approved these changes

Assignees
No one assigned
Labels
data:api 🐇 Compat data for Web APIs. https://developer.mozilla.org/docs/Web/API
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@queengooborg @foolip @Elchi3