アドオンとか旧拡張機能について。 #contents - 長いので別ページ -- [[ブックマーク同期>../ブックマーク同期]] -- [[タブ>../タブ]] -- 今は使ってないけど [[userChrome.js>../userChrome.js]] * 今使っているもの :Fetch Text URL| リンクになっていないURLを辿る :Html Validator| HTMLのチェック~ 0.7.6 + FireFox1.5で大きめのJavadocのページを見たところCPUを使い切って刺さった → [[ここ>http://jsourcery.com/output/eclipse/3.1/]]~ 指定ドメインだけチェックするのが吉~ * 昔使っていたもの :Google Pagerank Status| ページランクの表示 :Mouse Gestures| マウスジェスチャ~ 使わないジェスチャを消すUIが微妙なため初期セットアップがやや面倒 :Read Easily| スタイルシートの無効/有効化のボタン~ mixi の訪問済みリンクが同じ色だった頃に使用 :Style Sheet Chooser II| スタイルシートの選択~ None Defaultの2択しか見たことないが~ Noneにしても完全にオフにはならないページあり~ Read Easily の代替~