Install favicon greasemonkey script

If you've ever been bothered that a site doesn't have a favicon, or has the wrong favicon, then I have the answer for you.

installfavicon.user.js

You can update the map at the top of the file with hostnames you want the favicon to be installed on.

I use it to give gmail and a google hosted domain's email different favicons.

It also has the ability to set the title of the page if it's all generic and you want a specific one.

I could build a UI around this, but greasemonkey's excellent 'edit' button kinda makes it too easy for me to just ask you to edit the source.

Highlight words greasemonkey script

I wrote this short greasemonkey script to highlight particular words on a web page. You can choose what color they are highlighted in (or anything about their style). I find it useful I hope you do too...

highlightwords.user.js

I've also wanted to have a Mozilla keyword that opens multiple websites and I finally set it up. It's easy to do, just make a new bookmark with a keyword and have the URL be something like:

javascript:window.open('http://wtwf.com/scripts/');window.open('http://www.fark.com/');window.open('http://slashdot.org/');

You can make that as long as you like and it'll just work. You might need to be using Tab Mix Plus to make sure that unresized popups end up in a new tab rather than a new window, but you should be using that anyway.

In case you didn't know you can do this a lot easier from the command line (or a window manager menu or some such like this:

firefox http://wtwf.com/scripts/|http://www.fark.com/|http://slashdot.org/