ワークスペースの名前の変更

ワークスペース マネージャーで、既存のワークスペースの名前を変更することができます。