[ワークスペース] メニュー

[ワークスペース] メニューは、ワークスペースを管理するための項目を含むポップアップ・メニューです。

[ワークスペース] メニューを表示するには、ワークスペースの背景でマウス・ボタン 3 をクリックします。

[奥のウィンドウを手前へ] - (重なっているウィンドウの中で) 一番下にあるウィンドウを手前に表示します。

[手前のウィンドウを奥へ] - (重なっているウィンドウの中で) 一番上にあるウィンドウをバックグラウンドへ置きます。

[再表示] - ディスプレイを再描画します。

[フロントパネルのアイコン化/復元] - フロントパネルをアイコン化したり、アイコンをフロントパネルに復元したりします。

[ワークスペース・マネージャの再起動] - ワークスペース・マネージャを停止してから再起動します (通常は、構成ファイルをカスタマイズした後で使用します)。

[ログアウト] - ログアウト・プロセスを開始します (フロントパネルの [EXIT] コントロールと同じ働きをします)。

キーボードからは、[ワークスペース] メニューにアクセスできません。