福原様、 /usr/lib/mozilla-1.7.8/greprefs/all.js を編集することで うまくいきました。 また、Firefox の場合も同様に /usr/lib/firefox-1.0.4/greprefs/all.js を編集して、 Proxy を設定することができました。 どうも、ありがとうございました。