ワークスペース管理機能用のホットキーを編集するには

1. [ホットキーエディタ] ウィンドウにおいて、ホットキーをダブルクリックします。

   あるいは、ホットキーを選択して、[ホットキーを開く] をクリックします。

   [ホットキーを編集] ダイアログ・ボックスが開いて、選択したホットキーが表示されます。

2. [手順 1] において、プルダウン・メニューから [ワークスペース管理機能] を選択します。

   ホットキーで起動されるターゲットのタイプを変更するには、プルダウン・メニューから適切なオプションを選択します。

3. [手順 2] において、[ワークスペース機能] から次のオプションを 1 つだけ選択します。

   • [前のワークスペース] - 以前のワークスペースに移動します。

   • [次のワークスペース] - 次のワークスペースに移動します。

   • [ワークスペースを移動] - 指定したワークスペースに移動します。

   • [ワークスペースを作成] - 新しいワークスペースを作成します。

   • [ワークスペースを削除] - ワークスペースを削除します。

   • [アイコンをパック] - ワークスペース内のアイコンを整理します。

   • [すべてのウィンドウを再表示] - すべてのウィンドウの変更を更新します。

   • [フロントパネルを切りかえ] - フロント・パネルを開いている状態から閉じている状態に (あるいは、その逆に) 切り替えます。

   • [キーを渡す] - 既存のすべてのホットキーはここで定義したパス・キーに変更されます。[キーを渡す] ホットキーを切り替えると、オンまたはオフの状態に切り替わります。

   [ワークスペース名] リスト・ボックスには、フロント・パネルに表示されるワークスペース名が表示されます。また、重複する名前が作成されないように、システム識別子も表示されます。[ワークスペース名] リスト・ボックスが有効になるのは、左側にある [ワークスペース機能] リスト・ボックスがワークスペース引数を必要とする場合だけです。

4. [手順 3] において、現在定義されているホットキーの代わりとなるキーストロークをテキスト・フィールドに入力します。

5. (省略可能) ホットキーが有効になる場所を指定します。

   • [どこでも] - ここで編集したホットキーは、アプリケーションが割り当てたホットキーよりも優先されます。

   • [アプリケーション・ウィンドウ内のみ] - ホットキーは [アプリケーション] ウィンドウ内だけで有効になります。

   • [デスクトップ上のみ] - ホットキーはモニタの背景だけで有効になります。

6. [新規に保存] をクリックします。

7. [取り消し] をクリックすると、ダイアログ・ボックスが閉じます。

8. [ホットキーエディタ] メイン・ウィンドウにおいて、[ファイル] メニューから [保存して再読み込み] を選択します。

   これでホットキーが有効になります。