ワークスペースマネージャーダイアログボックス
Workspace Manager(ワークスペースマネージャー )ダイアログボックスでは、選択したワークスペースをカスタマイズし、新しいワークスペースを作成し、ワークスペースを整理し、名称を変更することができます。
このダイアログボックスに関連する作業については、ワークスペースを作成するを参照してください。
Workspace Manager(ワークスペースマネージャー )ダイアログボックスにアクセスする手法
- 次のいずれかを行います。
- Windows > Workspace(ワークスペース) > Workspace Manager(ワークスペースマネージャー)を選択します。
- Windows > Toolbars(ツールバー) > Workspace(ワークスペース)を選択し、Workspace(ワークスペース)ツールバーでWorkspace Manager(ワークスペースマネージャー)ボタンをクリックします。
- Windows > Workspace(ワークスペース) > Workspace Manager(ワークスペースマネージャー)を選択します。
パラメータ | 説明 |
利用可能なワークスペース |
利用可能なワークスペースのリストを表示します。 |
選択したワークスペースを複製 |
選択したワークスペースをコピーします。 |
ワークスペースを削除 |
選択したワークスペースを削除します。 |
矢印 |
選択したアイテムをリストの上下に移動してリストを整理したり、選択したワークスペースにアイテムを追加したり、削除したりできます。 |
名称変更 |
選択したワークスペースの名称を変更できます。 |
ツールバー |
選択したワークスペースで利用可能なツールバーを表示します。 |