Session history management
Method of manipulating the user's browser's session history in JavaScript using `history.pushState`, `history.replaceState` and the `popstate` event.
Push API
API to allow messages to be pushed from a server to a browser, even when the site isn't focused or even open in the browser.
history api: pushstate
history api: pushstate: whether the `unused` parameter is used
permissions api: `push` permission
pushevent api
pushevent api: data
pushevent api: `pushevent()` constructor
pushmanager api
pushmanager api: getsubscription
pushmanager api: haspermission
pushmanager api: permissionstate
pushmanager api: register
pushmanager api: registrations
pushmanager api: subscribe
pushmanager api: supportedcontentencodings
pushmanager api: unregister
pushmanager api: available in workers
pushmessagedata api
pushmessagedata api: arraybuffer
pushmessagedata api: blob
pushmessagedata api: json
pushmessagedata api: text
pushsubscription api
pushsubscriptionchangeevent api
pushsubscriptionchangeevent api: newsubscription
pushsubscriptionchangeevent api: oldsubscription
pushsubscriptionchangeevent api: `pushsubscriptionchangeevent()` constructor
pushsubscriptionoptions api
pushsubscriptionoptions api: applicationserverkey
pushsubscriptionoptions api: uservisibleonly
pushsubscription api: endpoint
pushsubscription api: expirationtime
pushsubscription api: `getkey()`
pushsubscription api: options
pushsubscription api: subscriptionid
pushsubscription api: `tojson()`
pushsubscription api: `unsubscribe()`
serviceworkerglobalscope api: `pushsubscriptionchange` event
serviceworkerglobalscope api: `push` event
serviceworkerregistration api: pushmanager
css property: appearance: `<compat-auto>` (compatibility values `searchfield`, `textarea`, `push-button`, `slider-horizontal`, `checkbox`, `radio`, `square-button`, `menulist`, `listbox`, `meter`, `progress-bar`, `button`)
javascript built-in: array: push
43 results found.