ワークスペースツールバー

ワークスペースツールバーを使用すると、別のワークスペースに切り替えることができます。また、ワークスペースの名前変更/並べ替え/カスタムワークスペースを作成したりできます。

このツールバーに関連するタスクについては、 こちらを参照して下さい。 ワークスペースの作成ワークスペースリストの並べ替え

アイコン ツール名 説明

ワークスペース メニュー

デフォルトのワークスペースを切り替えることができます。

ワークスペースマネージャー

ワークスペースマネージャダイアログボックスが開きます—参照 ワークスペースマネージャー ダイアログボックス