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

1. 名前を変更するワークスペースのワークスペース・ボタンを選択します。

2. そのボタンのポップアップ・メニューで、[名前の変更] を選択します (そのボタン上で [Shift]+[F10] キーかマウス・ボタン 3 を押すと表示されます)。

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

3. テキスト・フィールドを編集します。

4. [Return] キーを押します。