2024 07 ≪ 08月 12345678910111213141516171819202122232425262728293031 ≫ 2024 09 2007年にインストールした拡張機能のうち、私が最もよく利用した/便利だったものを1つ挙げるとしたら、それはuserChrome.jsです。 最初は拡張機能の数を減らせるだけだと思っていて試してもいなかったのですが、拡張機能と同等の機能をより軽快に動作させることができたり、Greasemonkey用スクリプトがそのまま利用できるということを知って使うようになりました。 現在、Firefox3 Beta2で使用しているuserChrome.js用スクリプトは以下の通り。alice0775氏のサブスクリプトローダーを使用しています。 Add ZoneIdcompactMenuCopy URL LiteMouse Gesturespopu