Last week, I finally got around to upgrading to Mint 2.14. The new version is quite impressive, and well worth the time (and cash) spent upgrading. In the process, however, one of my favorite, most heavily used bookmarklet things ceased to work.
Before the upgrade, I had been enjoying the highly useful Refresh-All bookmarklet by Jonathan Snook. Snook’s Mint-refresh bookmarklet made it super-easy to update all Mint data panels without having to refresh the entire page. Using the bookmarklet is much faster that reloading the browser, and there is even an alternate version that will refresh panels automatically at user-specified intervals.
Needless to say, after pimping the Mint 2 upgrade, I was bummed to discover that my tried-&-true Mint-refresh bookmarklet had ceased to work. Fortunately, Mint developer Shaun Inman was on top of the game, having transformed Snook’s bookmarklet into a full-fledged pepper exclusively compatible with Mint 2. Unfortunately, the Mint Refresh pepper — as awesome and useful as it is — functions only at specified intervals. As far as I could tell, the Mint Refresh pepper provides no support for the manual, on-demand refreshing of all Mint panels. Unlike its highly useful predecessor, it’s automatic or not at all.
RefreshMints for Mint 1
Save either as a bookmarklet and click to refresh your Mint (version 1+) panels without reloading the entire page1:
RefreshMints for Mint 2
Save either bookmarklet and click to refresh your Mint (version 2+) panels without reloading the entire page:
Now that I have done all the work, perhaps someone will update their official Refresh pepper ;)
- 1 The Auto-RefreshMint time interval is set in milliseconds. The default interval is 900,000 milliseconds, which is equivalent to 15 minutes. To adjust this value, replace the
900000in the code to something more suitable for you (just remember to be merciful to your server — setting a value of 1000ms, for example, is a bad idea).