ワークスペースを変更するには、ワークスペース・ボタンを使用します。ボタンごとに独自のメニューがあります。
ワークスペース・ボタンのポップアップ・メニューには、次の項目があります。
[ワークスペースの追加] - ワークスペースの一覧にワークスペースを追加します。
[削除] - ワークスペースを削除します。
[名前の変更] - ボタンを、名前を編集するためのテキスト・フィールドに変更します。
[ヘルプ] - ワークスペース・スイッチのヘルプを表示します。
