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

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

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

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

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

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

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

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

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

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

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

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

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

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