Finestra di dialogo Graphical Workspace Manager Options

La finestra di dialogo Graphical Workspace Manager Options permette di impostare i seguenti parametri.

• Show Workspace Thumbnails On Front Panel – Visualizza le immagini in scala ridotta degli spazi di lavoro nel pannello principale.

• Show Workspace Backdrops – Visualizza gli sfondi degli spazi di lavoro.

• Show Workspace Names – Mostra i nomi degli spazi di lavoro insieme alle immagini in scala ridotta.

• Number of Visible Rows – Permette di impostare il numero di righe da usare per la visualizzazione degli spazi di lavoro aperti.

• Desired Thumbnail Width (Pixels) – Imposta la larghezza, in pixel, delle immagini in scala ridotta degli spazi di lavoro.

• Changes Thumbnail Size – Permerre di ingrandire o ridurre la dimensione della finestra principale della Gestione spazi di lavoro. Questa opzione influisce sulle dimensioni delle immagini in scala degli spazi di lavoro.

• Changes Layout – Permette di modificare solo la disposizione delle immagini miniaturizzate degli spazi di lavoro.

• Show Window Contents – Visualizza le immagini delle finestre correnti.

• Show Window Frames – Selezionando questa opzione vengono mostrate solo le cornici delle finestre, senza il contenuto.

• Highlight Windows In Current Workspace – Evidenzia le finestre presenti nello spazio di lavoro corrente. Questa opzione è disponibile solo se è stata selezionata l'opzione Show Window Frames.

• Show Window Names – Le finestre vengono visualizzate insieme al nome del relativo comando. Questa opzione è disponibile solo se è stata selezionata l'opzione Show Window Frames.

Figura 3–4 Finestra di dialogo Graphical Workspace Manager Options