「グラフィカル・ワークスペース・マネージャのオプション (Graphical Workspace Manager Options)」ダイアログボックス

「グラフィカル・ワークスペース・マネージャのオプション (Graphical Workspace Manager Options)」ダイアログボックスから、次のオプションを設定できます。

• 「フロント・パネルにワークスペースのサムネールを表示 (Show Workspace Thumbnails On Front Panel)」 - グラフィカル・ワークスペース・マネージャのワークスペースイメージがフロントパネルに表示されます。

• 「ワークスペースの背景を表示 (Show Workspace Backdrops)」 - 実際のワークスペースのバックドロップ (背景) がグラフィカル・ワークスペース・マネージャに表示されます。

• 「ワークスペース名を表示 (Show Workspace Names)」 - グラフィカル・ワークスペース・マネージャで、サムネール化した (見やすいように簡略にグラフィック表示した) ワークスペース上にワークスペース名を表示します。

• 「表示する行の数 (Number of Visible Rows)」 - グラフィカル・ワークスペース・マネージャの開いているワークスペースの表示に使用される行の数の設定を可能にします。

• 「サムネール幅 (ピクセル) (Desired Thumbnail Width (Pixels)) 」- グラフィカル・ワークスペース・マネージャ内でのワークスペースの表示の幅をピクセル単位で設定します。

• 「サムネールのサイズを変更 (Changes Thumbnail Size)」 - グラフィカル・ワークスペース・マネージャでのサイズ変更が、グラフィカル・ワークスペース・マネージャのメインウィンドウのサイズを実際に拡大または縮小するよう指定します。このオプションは、ワークスペースのサムネールのサイズを変更します。

• 「配置を変更 (Changes Layout)」 - グラフィカル・ワークスペース・マネージャでのサイズ変更が、グラフィカル・ワークスペース・マネージャ内のワークスペースのサムネールのレイアウトのみを変更するよう指定します。

• 「ウィンドウの内容を表示 (Show Window Contents)」 - ウィンドウイメージを取り込み、表示します。

• 「ウィンドウ枠を表示 (Show Window Frames)」 - ウィンドウイメージは取り込まれません。空のボックスが表示されます。

• 「現在のワークスペース中のウィンドウを強調表示 (Highlight Windows In Current Workspace)」 - 現在のワークスペース内のウィンドウが、デスクトップ上にハイライト表示されます。このオプションは「ウィンドウ枠を表示 (Show Window Frames)」が選択されている場合にのみ利用できます。

• 「ウィンドウ名を表示 (Show Window Names)」 - ウィンドウのコマンド名がウィンドウに表示されます。このオプションは「ウィンドウ枠を表示 (Show Window Frames)」が選択されている場合にのみ利用できます。

図 3–4 「グラフィカル・ワークスペース・マネージャのオプション (Graphical Workspace Manager Options)」ダイアログボックス