UserJSをササっと編集したいとき

ふと思い出した。

NoScript っぽいものを使うのに手作業でアドレス登録していくのはキツイです。

Operaの不満 - Griever

@include とかを足したり消したり頻繁にするスクリプトなら、Opera のブックマークに入れとくのがいいと思う。

1. ファイルを開いて、
2. 「ソースを見る」を押して、
3. 適当に編集して、
4. (Opera でソースを開く設定にしている場合は) リロード*1すれば変更がファイルに反映される。

*1:変更を適用 (Apply Changes) というボタンだが、アクションは Reload だし、Ctrl+r でも大丈夫のはず