ワークスペースマネージャーダイアログボックス

Workspace Manager(ワークスペースマネージャー )ダイアログボックスでは、選択したワークスペースをカスタマイズし、新しいワークスペースを作成し、ワークスペースを整理し、名称を変更することができます。

このダイアログボックスに関連する作業については、ワークスペースを作成するを参照してください。

パラメータ 説明

利用可能なワークスペース

利用可能なワークスペースのリストを表示します。

選択したワークスペースを複製

選択したワークスペースをコピーします。

ワークスペースを削除

選択したワークスペースを削除します。

矢印

選択したアイテムをリストの上下に移動してリストを整理したり、選択したワークスペースにアイテムを追加したり、削除したりできます。

名称変更

選択したワークスペースの名称を変更できます。

ツールバー

選択したワークスペースで利用可能なツールバーを表示します。