Skip to content

Fix type of mutationObserver#13

Merged
garyb merged 1 commit into
purescript-web:masterfrom
alextes:fix-mutation-observer
Aug 18, 2019
Merged

Fix type of mutationObserver#13
garyb merged 1 commit into
purescript-web:masterfrom
alextes:fix-mutation-observer

Conversation

@alextes
Copy link
Copy Markdown
Contributor

@alextes alextes commented Jul 6, 2019

  • test the change (👈 currently doing this)

Fixes #12

@garyb
Copy link
Copy Markdown
Member

garyb commented Jul 8, 2019

Thanks! I'll get this released soon, will need some time to update the version ranges for all the dependants, so will make sure I can do it all at once.

@garyb garyb merged commit 65d1b79 into purescript-web:master Aug 18, 2019
@garyb
Copy link
Copy Markdown
Member

garyb commented Aug 18, 2019

This has been released and the upper bounds have been raised on all the purescript-web libraries that depend on purescript-web-dom accordingly.

@alextes alextes deleted the fix-mutation-observer branch August 18, 2019 15:13
sigma-andex pushed a commit to working-group-purescript-es/purescript-web-dom that referenced this pull request Apr 14, 2022
…r-function

Add Window.opener and Window.parent
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

MutationObserver callback type is wrong

2 participants