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

「ワークスペースマネージャ」ダイアログボックスでは、選択したワークスペースをカスタマイズ/新しいワークスペースの作成/ワークスペースを編成/名前変更することができます。

このダイアログボックスに関連するタスクについては、こちらを参照下さい ワークスペースの作成

パラメータ 説明

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

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

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

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

ワークスペースを削除

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

矢印

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

名前を変更

選択したワークスペースの名前を変更することができます。

ツールバー

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