Rob: >Geoff Welsh <g...@some.rr.com> wrote: >> how does one un-hide those preferences? > >One cannot. That is my gripe.
But many can be found in the profile. :) >You have to find them elsewhere on the net (like here or via google) Better look into the omni.ja in the profile. There is omni.ja#greprefs.js and several files in omni.ja#defaults/pref. Some nice documentation of the prefs there. >and then manually add them in the prefs.js or the about:config screen, >and then they suddenly spring to life. Yes. Hartmut _______________________________________________ support-seamonkey mailing list support-seamonkey@lists.mozilla.org https://lists.mozilla.org/listinfo/support-seamonkey