User JavaScriptのON・OFF

So Merlin also introduces an action for shortcuts and buttons, that makes a direct change in your settings. This means you don't have to wait for Opera's developers to add specific actions.

Merlin: shortcuts and buttons for all settings - Tweak - - by Rijk

ということなので、ココからUser JavaScriptだけをON・OFFにするボタンを貰ってきました。

Button**, "UserJS"="Set preference, "User Prefs|User JavaScript=1",,"Disable UserJS","Checkbox Skin.selected" > Set preference, "User Prefs|User JavaScript=0",,"Enable UserJS","Checkbox Skin""

以下のリンクをツールバーを上にドラック＆ドロップ。

• User JavaScript ON/OFF

JavaScriptがONの状態で、User JavaScriptだけをOFFにしたい時なんかに使える。逆ができたらいいんだけどね。ファイル毎にON・OFFしたければ、僕は試してないけど以下の方法があるようです。

• Opera User JS の ON / OFF を切り替えるスクリプト

あと、RijkさんのブログのCommentに投稿されていた「ソースビューアの切替え」を、キーボードショートカットの Ctrl+Q に割り当ててみた。

Set preference, "User Prefs|Source Viewer=Opera" | Set preference, "User Prefs|Source Viewer=C:\Program Files\EmEditor\emeditor.exe"

うーん、微妙。 »ソースビューアの切り換え