Operaで使えるUser JavaScript一覧です。
目次 |
ブラウザ側で処理するJavaScriptのこと。クライアント側でローカルのJavaScriptを処理できる。 同様な機能として、FirefoxではGreasemonkeyという拡張機能がある。 OperaではそのスクリプトのことをUser JavaScript(略してUserJS)って言う。 ここではuser.jsをファイル名として、UserJSを機能名として取り扱っています。
http://jp.opera.com/support/tutorials/userjs/
有効なUserJSのみを掲載。(ちなみに、ちゃんと動作確認をしていたりするのだ。)他にも同様の機能を有したUserJSが存在します。 一部特別な設定を必要とするものがあるが、それらの解説は未完。 Opera9対応(9.5については下方を参照。)
ここにあるCSSファイルは、Install optionsでOperaのUserJSに変換することができる。