Opera9.0TP2のUserJS

UserJSの設定をどこでして良いのか分からなくなった。
opera:configにあるそれらしき設定は

の上記3点。

にチェックをして

にはディレクトリ指定では動かず。設定をそのまま解釈すればファイルを直に指定するのかとファイルを指定してみるも動かず。うん?なんか間違ってるのだろうか...。

勘違いでした

動いてました。ただ、TP2になって動かなくなったUserJSがあるだけのようです。

にチェックをして

ディレクトリ指定で動きました。
これが正しい設定の仕方かは自信なしです。