[グラフィカル・ワークスペース・マネージャのオプション] ダイアログボックスには、設定可能なオプションが多くあります。それらのオプションは次のとおりです。
フロントパネルにワークスペースのサムネールを表示 – グラフィカル・ワークスペース・マネージャの縮小されたワークスペースイメージをフロントパネルに表示するかどうかを指定します。
ワークスペースの背景を表示 – ワークスペースの実際の背景をグラフィカル・ワークスペース・マネージャに表示するかどうかを指定します。
ワークスペース名を表示 – グラフィカル・ワークスペース・マネージャの縮小表示されたワークスペースにワークスペース名が表示されます。
表示する行の数 – グラフィカル・ワークスペース・マネージャの開かれている状態のワークスペースを表示する際に使用される行数を設定できます。
サムネール幅 (ピクセル) – グラフィカル・ワークスペース・マネージャに表示されるワークスペースの幅をピクセル単位で設定します。
サムネールのサイズを変更 – グラフィカル・ワークスペース・マネージャのサイズ変更により、グラフィカル・ワークスペース・マネージャのメインウィンドウのサイズが実際に増減するため、ワークスペースのサムネールのサイズも変化します。
配置を変更 – グラフィカル・ワークスペース・マネージャのサイズを変更しても、グラフィカル・ワークスペース・マネージャ内のワークスペースのサムネールのレイアウトしか変更されません。
ウィンドウの内容を表示 – ウィンドウイメージが取得され、表示されます。
ウィンドウ枠を表示 – ウィンドウイメージが取得されません。空白のボックスが表示されます。
現在のワークスペース中のウィンドウを強調表示 – 現在のワークスペース内の一連のウィンドウがデスクトップの強調色で表示されます。このオプションは、[ウィンドウ枠を表示] が選択されている場合だけ利用できます。
ウィンドウ名を表示 – ウィンドウのコマンド名がウィンドウに表示されます。このオプションは、[ウィンドウ枠を表示] が選択されている場合だけ利用できます。