Closed kiding closed 10 years ago
Neat!
Sweet... I was vaguely aware that the history API existed but never thought to use it for this extension... TBH once I got it working I kinda forgot about it. :)
Thanks for the patch!
No problem.
By the way, while testing the extension by myself, it seems to take some time for the script to get called on some heavy sites like The Verge, since Safari waits for all the DOM elements to be loaded properly. I'm now testing some bits to confirm that it's okay to put the script before the browser parsing, so I might create another pull request in some minutes...
Cool, I'll keep an eye out for it...
HTML5's
history.replaceState
doesn't reload the page unlikewindow.location
. This change reduces page load time of the affected URLs.