A few Greasemonkey tweaks…
Published by vladimir February 19th, 2008 in MozillaI've recently rediscovered Greasemonkey, and have used it to make two small fixes that have been annoying me for a while. A few people have asked, so I thought I'd share the user scripts. The first does some postprocessing of the tinderbox waterfall page, shrinking the Talos columns by making them use more of the large amounts of vertical space. Here's the script, and a picture of what the columns look like before the script is applied, and after.
The second script fixes something that's been annoying me for a while about the Mozilla development infrastructure --- all of our servers have an identical favicon, which means it's impossible to differentiate between different sites (or, most commonly, to find the tinderbox tab) when you have many tabs open. I blogged about this a while back, before the crash of my blogging machine; I received some good feedback, but my requests to get the icons changed on the actual sites didn't go anywhere. So, this script forces favicons for a couple of key mozilla sites, including tinderbox, bugzilla, wiki.m.o, and developer.m.o. The icons come from the famfamfam Silk set and a bit of hackery on my end using Pixelmator. Here's an image of what the result looks like:
9 Comments to “A few Greasemonkey tweaks…”
- 1 Pingback on Feb 25th, 2008 at 10:40 am
- 2 Pingback on Mar 26th, 2008 at 7:36 am
Nice to see you finally got this working, Vlad. :)
Nice script, Vlad! I like it. I think you need to tweak the @include, though — I had to make these changes to get it to work as desired on my machine:
// @include http://*.mozilla.org/*
> // @include https://*.mozilla.org/*
That lets the script…
- ,,,work on HTTP URLs
- …work on pages within sites, beyond just the plain top-level domains
D’oh, the blog got confused by diff’s greater-than/less-than symbols in my prev comment.
Anyway, if it’s not clear, the suggested change is just to replace the @include line with:
// @include http://*.mozilla.org/*
// @include https://*.mozilla.org/*
I see images are hot linked to mozilla.com in the greasemonkey script. you can put images in the script as data URI
Only thing stopping it from getting it done before was a suitable icon. Now that you’ve designed one… :) I’ve deployed the ones for LXR, MXR, Tinderbox, and Bugzilla. The rest are sites have their content managed by their respective app devs and it’ll need to get taken up with them.
Looks like your icons have been incorporated into the sites! I like most of them, but I think the Tinderbox one is a bit busy… how about a simple flame instead?
MXR has a little too much detail, as does Tinderbox, but still an improvement. Maybe tinderbox should just be four squares in the four tinderbox colors, with the mini-Moz overlay? Not sure what to do about MXR’s icon offhand.