キーバインド編集
[Wednesday, February 28, 2001]
従来からある、メニューその他のショートカットキーを自由自在に設定変更できる機能が、さらに簡単にご利用いただけるようになりました。視覚的に分かりやすく、キーボードショートカットを任意の組み合わせに変更することができます。
- キーボードショートカットの設定を変更する
- 下記にキーボードショートカットを変更する手順を説明します。ここでは、「ファイル」メニューの「ゴミ箱に入れる」に「コマンド＋Delete」を割り当てる場合の例で説明を行います。
1. 「編集」メニューから「キーバインド編集...」を選びます。選択すると、「キーバインド編集」ダイアログが表示されます。
2. 「キーバインド編集」ダイアログにおいて、「ファイルメニュー」左にある三角印をクリックします。クリックすると、「ファイルメニュー」グループの各項目がその下に表示されます。
3. スクロール機能を利用して、「ファイルメニュー」グループ11番目の項目である「ゴミ箱に入れる」を表示させます。下向き矢印のスクロールアローをクリックすると、下方向に画面をスクロールさせることができます。
4. 「ゴミ箱に入れる」の文字列付近をクリックして、該当項目を選択します。
5. ダイアログ下にある「設定...」ボタンをクリックします。クリックすると、「キーバインド設定」ダイアログが表示されます。
6. キーボードショートカットとして登録したいキーの組み合わせを押します。ここでは、コマンドキーを押しながら、Deleteキーを押します。
7. 「キーバインド設定」ダイアログ内の「OK」ボタンを押します。
8. 「キーバインド編集」ダイアログ内の「OK」ボタンを押すと、設定の変更が有効となります。
注1：キーボードショートカットは、基本的に1つの文字キーとモディファイアキー（Controlキー、Optionキー、Shiftキー、Commandキー）の組み合わせとなります。モディファイアキーは複数指定することも可能です。
注2：キーボードショートカットとして下記の特殊キーを指定することも可能です。
Enterキー
Returnキー
Tabキー
Insertキー
Deleteキー（普通のDeleteキー）
Delキー（拡張キーボードなどにあるキー）
Homeキー
Endキー
Page Upキー
Page Downキー
Helpキー
↑キー
↓キー
→キー
←キー
ファンクションキー（F1〜F15）
注3：OS、機能拡張およびコントロールパネルですでに利用されているキーボードショートカットを、ARENAで指定、利用することはできません。
参考：キーバインドの設定ファイルは、「KeyBind」というファイル名で、ARENAのユーザーフォルダの直下に格納されています。
※Finder上で、ARENAのアプリケーションのあるフォルダの中にUsersというフォルダがあり、その中に利用ユーザーごとにデータを保存するフォルダが作成されます。これをここではユーザーフォルダと呼びます。
- キーボードショートカットの設定を解除する
- 設定変更を行ったキーボードショートカットを取り消したり、標準で割り当てられているキーボードショートカットを無効にすることができます。
キーボードショートカットの設定を解除する手順は下記の通りです。ここでは、「メール」メニューの「すぐに送信」で割り当てられているショートカットを無効にする場合の例で説明を行います。
1. 「編集」メニューから「キーバインド編集...」を選びます。
2. 「キーバインド編集」ダイアログにおいて、「メールメニュー」左にある三角印をクリックします。
3. 「メールメニュー」グループ内に表示される項目「すぐに送信」をクリックして、選択します。
4. 「解除」ボタンを押します。
5. 「キーバインド編集」ダイアログの「OK」ボタンをクリックして、設定の変更を有効にします。
- キーバインド設定を標準に戻す
- 「キーバインド編集」ダイアログにある「標準...」ボタンをクリックすると、キーバインドの設定を、ARENA標準の設定に戻すことができます。
「標準...」ボタンを押した後、確認のダイアログが表示されます。そのダイアログで「OK」を選ぶと、設定が標準状態に戻ります。その状態で「キーバインド編集」ダイアログ内の「OK」ボタンを押すと、設定の変更が有効となります。
- 設定ファイルを書き出す
- キーバインドの設定ファイルを書き出すことができます。他の人に設定ファイルを配付したり、バックアップ用途としての利用などが考えられるでしょう。
キーバインドの設定ファイルを書き出すには、「キーバインド編集」ダイアログにある「書出...」ボタンをクリックします。保存ダイアログで、ファイルの名称と保存先を指定して、「保存」ボタンをクリックすると、ファイルが書き出されます。
- 設定ファイルを読み込む
- 書き出したキーバインドの設定ファイルを読み込むには、「キーバインド編集」ダイアログにある「読込...」ボタンをクリックします。ダイアログで、書き出したキーバインドの設定ファイルを選ぶと、すべてのキーバインドが、読み込まれたファイルの設定になります。
