透明ピクセルのロック/解除をファンクションキーで行う方法

ツールのキーボードショートカット設定ではファンクションキーを割り当てることができない．そこで次のようにして解決した．

1. アクションに透明ピクセルロック，透明ピクセルロック解除を作る（これにはショートカットを割り当てない）
2. ショートカットを割り当てた新しいアクションを作る（これが呼び出し大本）
3. 2のアクションに「レイヤーはロックされています」の条件分岐を仕込み，1のアクションに分岐させる

今回はたまたま目的の条件が見つかったけど，やりたいことをするにはスクリプトを書かないといけない日が来そうだ．