» 
Handy Mozilla tip...
I had a small annoyance with Mozilla that I set out to find a solution to today. And not only did I find a solution to my problem but I've also discovered a nifty little Mozilla trick that will allow you to tweak most every little tweakable setting in Mozilla. For those of you that have manually edited your Pref.js and User.js files then you know Mozilla is highly customizable. But there's two drawbacks; 1. to add a tweak, you must know it. Easier said than done. Sure it's easy to just look through those preference files and change a few things here or there. But those are only a fraction of the tweakable settings in Mozilla. For the others settings, if you want to change them from their default values, then you need to ADD them to the preferences files. 2. And the other drawback is you need to shutdown Mozilla before you start editing those files otherwise you'll lose any changes you made.
Well, this cool little trick will help with both of those problems. All you gotta do is this: type about:config in the address bar. This will list ALL the available options that can be used in the preference files, even all the default value ones that you would normally never see. Plus, you can go ahead and edit the values right there in Mozilla's main window. I can't speak for all the edits, but the few I made took effect immediately. No shutdown/restart necessary.
Undoubtedly others already know about this trick and as usual I'm the last kid on the block to find anything out. But I thought I'd post this anyways just in case someone finds it useful.
|