user.js

Opera でも Mozilla のように選択した部分のソースだけを表示させたいという希望があるそうだ。Shishimushi の Operaで「選択した部分のソースを表示」で紹介されている、フォーラムの View selection source を見た。
Version 0.6 を設定してみると、なるほど面白い。これは使える。よいものを紹介して頂きました。

  • JavaScript に通じている人なら簡単にカスタマイズ出来るであろう。
  • イタリア語の説明の方にはもう少し親切に表示する色の組み合わせを変える方法が書かれている。146 行目の scheme:schemes. 以下の desert を opera なり mozilla に変えてページを再読み込みすればよい。
  • menu.ini への書き込みさえ済ませれば、user.js のカスタムは起動中に行えて再読み込みさえすればその場で効果が確認出来る。
  • ソース表示で水平スクロールが出て見難ければ、Fit to Width を有効にしてやれば済む。