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