Super Plugin Sale! Your Choice: BOGO or 30% Off »
Web Dev + WordPress + Security

RefreshMints: Refresh Stats Bookmarklets for Mint 2

[ Mint Icon ] 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.

So, rather than cry about it, or bug Shaun with more nit-picking, I tweaked his lovely Refresh pepper, pillaged its JavaScript, and tweaked it to do my bidding (insert maniacal laughter here). The result is a splendid collection of four “RefreshMints” — automatic and manual panel-refreshment favelets for both Mint versions 1+ and 2+..

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 ;)

Footnotes

  • 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 900000 in 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).

About the Author
Jeff Starr = Web Developer. Book Author. Secretly Important.
SAC Pro: Unlimited chats.
Welcome
Perishable Press is operated by Jeff Starr, a professional web developer and book author with two decades of experience. Here you will find posts about web development, WordPress, security, and more »
BBQ Pro: The fastest firewall to protect your WordPress.
Thoughts
RIP ICQ
Crazy that we’re almost halfway thru 2024.
I live right next door to the absolute loudest car in town. And the owner loves to drive it.
8G Firewall now out of beta testing, ready for use on production sites.
It's all about that ad revenue baby.
Note to self: encrypting 500 GB of data on my iMac takes around 8 hours.
Getting back into things after a bit of a break. Currently 7° F outside. Chillz.
Newsletter
Get news, updates, deals & tips via email.
Email kept private. Easy unsubscribe anytime.