Re: user.js for firefox

Vernon, try editing the file with Firefox *closed*.

Alternatively, type "about:config" in the Firefox Location bar, and 
you'll get a handy (if bare-bones) configuration UI.

--
cheers, MikeW                            http://www.dogbiscuit.org/mdub/