ワークスペースの名称を変更する

ワークスペースマネージャーで既存のワークスペースの名称を変更できます。