ワークスペース名を変更するには

1. 強調表示で示されるキーボード・フォーカスがフロントパネルに来るまで、[Alt]+[Tab] キーを押します。

2. 矢印キーを押して、名前を変更するワークスペースのボタンに強調表示を移動します。

3. [Shift]+[F10] キーを押して、ワークスペース・ボタンのポップアップ・メニューを表示します。

4. 下矢印キーを押して [名前の変更] を選択し、[Return] キーを押します。

   ボタンがテキスト・フィールドに変わります。

5. テキスト・フィールドでワークスペース名を編集します。

6. ワークスペース名を変更したら、[Return] キーを押します。