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

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

補足

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

手順

  1. 「ワークスペース (Workspaces)」メニューで、変更するワークスペースを選択します。
  2. 必要に応じて変更します。
  3. 「ワークスペース (Workspaces)」メニューで、以下のいずれかを選択します。

    • 現在のワークスペースを更新する場合は、「ワークスペースを更新 (Update Workspace)」をクリックします。

    • 別のワークスペースまたはワークスペースタイプとして保存する場合は、「ワークスペースを追加 (Add Workspace)」をクリックします。