Plugin Sale! Save 15% on pro plugins with discount code: NEWYEAR2021
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).

Jeff Starr
About the Author
Jeff Starr = Creative thinker. Passionate about free and open Web.
WP Themes In Depth: Build and sell awesome WordPress themes.
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 »
Blackhole Pro: Trap bad bots in a virtual black hole.
Thoughts
Watching. Waiting. Praying.
Got all of my free WordPress plugins updated for imminent WP 5.6 in early December. Pro plugin updates currently in the works.
7G Firewall now integrated into BBQ Firewall (free version). Pro version soon ;)
macOS Big Sur update complete. So far no crazy issues. Except TextEdit, which is completely screwed up and unusable. Replaced with free BBEdit.
Got so sick of macOS’ annoying “red dot” that I had to remove System Prefs from the dock. Come on Apple you can do better.
Beginning development of an Nginx version of 7G Firewall.
Happy Birthday to Perishable Press, celebrating 15 years online! :)
Newsletter
Get news, updates, deals & tips via email.
Email kept private. Easy unsubscribe anytime.