グラフィカル・ワークスペース・マネージャの使い方

グラフィカル・ワークスペース・マネージャを使用して、様々な作業を実行できます。

図 7–2 グラフィカル・ワークスペース・マネージャ – [ワークスペース] メニュー

• ワークスペースを追加するには

• ワークスペースを削除するには

• ワークスペースの名前を変更するには

• 別のワークスペースに切り替えるには

• ワークスペース内のすべてのウィンドウを階層表示するには

• ワークスペース内のすべてのウィンドウをタイル状に表示するには

• ウィンドウをアイコン化するには

• ウィンドウを閉じるには

• アプリケーションを終了するには

• ウィンドウを別のワークスペースに移動するには

• ワークスペースにウィンドウを配置するには

• ワークスペースからウィンドウを消去するには

ワークスペースを追加するには

1. [ワークスペース] メニューから [ワークスペースの追加..] を選択します。

2. [ワークスペースの追加] ダイアログボックスに名前を入力します。

3. [了解] をクリックします。

ワークスペースを削除するには

1. [ワークスペース] メニューから [ワークスペースの削除] を選択します。

2. 削除するワークスペースをサブメニューから選択します。

ワークスペースの名前を変更するには

1. [ワークスペース] メニューから [名前の変更...] を選択します。

2. 名前を変更するワークスペースをサブメニューから選択します。

3. [ワークスペース名の変更] ダイアログボックスに新しい名前を入力します。

4. [了解] をクリックします。

別のワークスペースに切り替えるには

1. [ワークスペース] メニューから [ワークスペースの切り替え] を選択します。

2. 切り替え先のワークスペースをサブメニューから選択します。

ワークスペース内のすべてのウィンドウを階層表示するには

この処理は、現在のワークスペース内で実行されます。

[ワークスペース] メニューから [すべてのウィンドウを階層化して表示] を選択します。

ワークスペース内のすべてのウィンドウをタイル状に表示するには

この処理は、現在のワークスペース内で実行されます。

1. [ワークスペース] メニューから [すべてのウィンドウをタイル状に表示] を選択します。

2. サブメニューで [水平方向] または [垂直方向] を選択します。

[オプション] ダイアログを開くには

[ワークスペース] メニューから [オプション...] を選択します。

[オプション] ダイアログの詳細については、[グラフィカル・ワークスペース・マネージャのオプション] ダイアログを参照してください。

図 7–3 グラフィカル・ワークスペース・マネージャ – [ウィンドウ] メニュー

ウィンドウをアイコン化するには

1. グラフィカル・ワークスペース・マネージャでウィンドウを 1 つ選択します。

2. [ウィンドウ] メニューで [アイコン化] を選択します。

ウィンドウを閉じるには

1. グラフィカル・ワークスペース・マネージャでウィンドウを 1 つ選択します。

2. [ウィンドウ] メニューで [ウィンドウを閉じる] を選択します。

3. (省略可能) 閉じようとしているウィンドウにだけアプリケーションが含まれている場合は、確認ダイアログが表示されます。該当するウィンドウを閉じる場合は、[了解] をクリックします。

アプリケーションを終了するには

1. グラフィカル・ワークスペース・マネージャでアプリケーション・ウィンドウを 1 つ選択します。

2. [ウィンドウ] メニューで [アプリケーションを終了] を選択します。

3. 確認ダイアログボックスで [了解] をクリックします。

ウィンドウを別のワークスペースに移動するには

1. グラフィカル・ワークスペース・マネージャでウィンドウを 1 つ選択します。

2. [ウィンドウ] メニューで [ワークスペースに移動] を選択します。

3. サブメニューで、該当ウィンドウの移動先ワークスペースを選択します。[すべてのワークスペース] を選択することもできます。

ワークスペースにウィンドウを配置するには

1. グラフィカル・ワークスペース・マネージャでウィンドウを 1 つ選択します。

2. [ウィンドウ] メニューで [配置するワークスペース] を選択します。

3. サブメニューで、ワークスペースを 1 つまたは複数個選択します。

   [Control] キーを押したままワークスペースをクリックすると、ワークスペースを複数個選択できます。

4. [了解] をクリックします。

ワークスペースからウィンドウを消去するには

1. グラフィカル・ワークスペース・マネージャでウィンドウを 1 つ選択します。

2. [ウィンドウ] メニューで [このワークスペースから消去] を選択します。

[グラフィカル・ワークスペース・マネージャのオプション] ダイアログ

[グラフィカル・ワークスペース・マネージャのオプション] ダイアログボックスには、設定可能なオプションが多くあります。それらのオプションは次のとおりです。

図 7–4 [グラフィカル・ワークスペース・マネージャのオプション] ダイアログボックス

• フロントパネルにワークスペースのサムネールを表示 – グラフィカル・ワークスペース・マネージャの縮小されたワークスペースイメージをフロントパネルに表示するかどうかを指定します。

• ワークスペースの背景を表示 – ワークスペースの実際の背景をグラフィカル・ワークスペース・マネージャに表示するかどうかを指定します。

• ワークスペース名を表示 – グラフィカル・ワークスペース・マネージャの縮小表示されたワークスペースにワークスペース名が表示されます。

• 表示する行の数 – グラフィカル・ワークスペース・マネージャの開かれている状態のワークスペースを表示する際に使用される行数を設定できます。

• サムネール幅 (ピクセル) – グラフィカル・ワークスペース・マネージャに表示されるワークスペースの幅をピクセル単位で設定します。

• サムネールのサイズを変更 – グラフィカル・ワークスペース・マネージャのサイズ変更により、グラフィカル・ワークスペース・マネージャのメインウィンドウのサイズが実際に増減するため、ワークスペースのサムネールのサイズも変化します。

• 配置を変更 – グラフィカル・ワークスペース・マネージャのサイズを変更しても、グラフィカル・ワークスペース・マネージャ内のワークスペースのサムネールのレイアウトしか変更されません。

• ウィンドウの内容を表示 – ウィンドウイメージが取得され、表示されます。

• ウィンドウ枠を表示 – ウィンドウイメージが取得されません。空白のボックスが表示されます。

• 現在のワークスペース中のウィンドウを強調表示 – 現在のワークスペース内の一連のウィンドウがデスクトップの強調色で表示されます。このオプションは、[ウィンドウ枠を表示] が選択されている場合だけ利用できます。

• ウィンドウ名を表示 – ウィンドウのコマンド名がウィンドウに表示されます。このオプションは、[ウィンドウ枠を表示] が選択されている場合だけ利用できます。