ワークスペースの設定を変更するには：
ワークスペースのリストが表示されます。
［ワークスペースの表示］ウィンドウが開きます。
［ワークスペースの編集］ウィンドウが開きます。
ワークスペース設定が変更されます。