r-Studio

文字サイズ変更：

現在の文字サイズ：

最近、userChrome.js 0.8用のスクリプトであるuserContent.jsを愛用しています。

userContent.jsはGreasemonkeyと同じようなもので、Greasemonkey用のスクリプトをそのまま使うことも可能な上、Greasemonkeyよりも動作が多少軽快になるという特徴を持っています。

また、パッチをあてることでuserContent.js用のスクリプトを個別にオン・オフ出来るようにもなりました。

詳しい使い方は、以下から本体をダウンロードすると説明書も付いているのでそれを読めば大体わかると思います。

• userContent.js及びパッチのダウンロード - firefox用スクリプトアップローダー

ただ、Greasemonkey用のスクリプトをそのままコピーしただけでは、全てのスクリプトが全てのWebページで動作するようになるのでレンダリング速度が低下します。

これも説明書に書かれていますが、userContent.js本体の設定を書き換えることでGreasemonkeyと同じように特定のスクリプトを指定Webページでのみ動作させるように出来るので、その点だけ注意が必要です。

なお、パッチのあて方については、過去に書いたパッチのあて方を参照していただければ簡単にあてられます。