ワークスペースの「操作」メニュー
ワークスペースの操作メニューでは、以下の操作を実行できます。
「アクティブ化」(埋め込みブラウザ、非アクティブなワークスペースでのみ使用可能) - 現在のワークスペースをアクティブなワークスペースにします。ワークスペースのアクティブ化を参照してください。
「イベント管理」- サーバーの「イベント管理」ユーティリティを開きます。「イベント管理」ユーティリティを参照してください。
「プリファレンスを編集」- 「ワークスペースオプションを編集」ページが開きます。ワークスペースプリファレンスを参照してください。
「ワークスペースの削除」- 現在表示されているワークスペースを削除します。ワークスペースの削除を参照してください。この操作は、現在アクティブでないワークスペースに対してのみ使用可能です。
* 
ワークスペースのフレーム機能が有効になっている場合、追加の関連メニューオプションが表示されます。ワークスペースフレームの概要を参照してください。
これは役に立ちましたか?