punxjk これまで「F2」をホットキーの一部として使用していたのですが バージョンアップで「F2」をホットキーに割り当てられなくなってしまいました（デフォルトで「名前を変更」に割り当てられているようです） 「F2」が使えないとかなり使い勝手が悪くなってしまうのですが、割り当てる方法はあるのでしょうか？
カスタマーサポート ［オプション］を開き、［ホットキー］タブでホットキーの割り当てを変更したり追加することができます。追加するときは［追加...］ボタンより、変更する場合は変更したいキーを一覧より選択してから［変更...］ボタンより変更してください。
カスタマーサポート その場合は、F2キーが通常オペレーティングシステム用として使用されている可能性があるために変更することができなくなっている状態ですので、コマンドキー、ファンクションキーとの組み合わせ（fn+Command+F2）で設定をおこなっていただけますでしょうか？