Makes back/forward navigation fast as they should be instead of half a second
// ==UserScript==
// @name developer.chrome.com fast back/forward
// @namespace https://greatest.deepsurf.us/en/users/2159-woxxom
// @description Makes back/forward navigation fast as they should be instead of half a second
// @version 1.0.0
// @license MIT
// @match https://developer.chrome.com/*
// @run-at document-start
// @grant none
// ==/UserScript==
const {addEventListener} = window;
window.addEventListener = function (type) {
if (type !== 'popstate') addEventListener.apply(this, arguments);
};
Object.defineProperty(history, 'scrollRestoration', {
value: history.scrollRestoration = 'auto',
writable: false,
});
addEventListener('click', e => {
const a = e.target.closest('a');
if (a && a.href && a.getAttribute('href') !== '#') {
e.stopPropagation();
a.click();
if (!document.querySelector(`[id="${a.hash}"]`))
(document.querySelector('h1') || document.body).scrollIntoView();
requestAnimationFrame(() => scrollBy(0, -30));
}
}, true);