Workplace(ワークスペース)ツールバー

Workspace(ワークスペース)ツールバーでは、別のワークスペースに切り替えてWorkspace Manager (ワークスペースマネージャー)ダイアログボックスを開き、そこでワークスペースの名称の変更や並べ替え、カスタムワークスペースの作成などを行うことができます。

このツールバーに関連する作業については、 ワークスペースを作成するワークスペースリストの順序を変更するを参照してください。

アイコン ツール名 説明

ワークスペースメニュー

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

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

Workspace Manager(ワークスペースマネージャー)ダイアログボックスが開きますワークスペースマネージャーダイアログボックスを参照してください。