Mozilla Tips

プロファイルへの書き込み

Mozillaはシステム共通設定の$MOZILLA_FIVE_HOME/defaults/pref/unix.jsやユーザー毎の~/.mozilla/default/*.slt/prefs.jsにJava scriptを書くことで設定を変更する事ができる。
具体的には、unix.jsに、

pref("変数名", 設定値);

という行を書き込むか、ユーザー毎のプロファイルに、

user_pref("変数名", 設定値);

を書き込むことで設定変更をすることができる。

プロファイルに以下を書き込む。"over-the-spot"の他に、 "on-the-spot","separate","none"を指定できる。

pref("xim.input_style", "over-the-spot");

Mozillaは、ページの読み込み開始後、 "nglayout.initialpaint.delay"で指定した時間(ms単位)待ってから表示を開始する。標準では1200ms待つようになっている。もたつくと感じる場合は、プロファイルに以下のように書き込むことで待ち時間を変更できる。

pref("nglayout.initialpaint.delay", 500);

<a href="hogehoge" target="_blank">等のタグで、新しいウインドウが開いて邪魔だと感じる場合は、プロファイルに以下を書き込めば新しいウインドウを作らなくなる。

pref("browser.block.target_new_window", true); // mozilla

pref("browser.link_open_newwindow", 1); // firefox-1.0

Flashなどのプラグインが必要なページを表示した場合、プラグインをインストールするか? というダイアログが表示される。毎回聞かれて邪魔くさいという場合、$MOZILLA_FIVE_HOME/plugins/libnullplugin.so を削除してしまえば、二度と聞かれなくなる。

GIFアニメーションがうざい場合(特に遅いCPUで)、以下のように、 "image.animation_mode"の値を変更する。値は、 "normal", "once", "none"のいずれか。

pref("image.animation_mode", "once");

Mozilla, Firefoxがweb serverに伝えるUser Agentを偽る方法。方法は2つあって、

pref("general.useragent.override", "Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.8) Gecko/20050514 Firefox/1.0.4");

ご意見、ご感想は、小本真広 <m.komoto@nifty.ne.jp>まで。メールする前にtop pageの注意書を読んでください。