com.raquo.domtypes.jsdom.defs
Page transition events fire when a webpage is being loaded or unloaded.
See https://developer.mozilla.org/en-US/docs/Web/API/PageTransitionEvent
Represents an event for which we know the exact type of target.
target
Page transition events fire when a webpage is being loaded or unloaded.
See https://developer.mozilla.org/en-US/docs/Web/API/PageTransitionEvent