ワークスペースを編集する

作成したワークスペースを変更できます。

補足

グローバルワークスペースをプロジェクトワークスペースに変更するには (逆も同様)、別のワークスペースタイプとして保存しなおす必要があります。

手順

「ワークスペース (Workspaces)」メニューで、変更するワークスペースを選択します。
必要に応じて変更します。
「ワークスペース (Workspaces)」メニューで、以下のいずれかを選択します。
- 現在のワークスペースを更新するには、「ワークスペースを更新 (Update Workspace)」をクリックします。
- 別のワークスペースまたはワークスペースタイプとして保存するには、「ワークスペースを追加 (Add Workspace)」をクリックします。