>>762
ファンクションキーにアプリを割り当ててる場合は
「キーボード」で設定すれば、option キーの同時押しでできると思う