| Guida utente per l'emulatore di terminale di Gnome | ||
|---|---|---|
| Indietro | La guida utente dell'emulatore di terminale di Gnome. | Avanti |
Le opzioni configurabili sono modificabili attraverso la finestra di dialogo delle preferenze, che può essere visualizzata dalla voce del menu correlata, all'interno del menu "Impostazioni" presente nella barra del menu di gnome-terminal.
Mentre la maggior parte delle opzioni si spiegano da sole, qui ne discuteremo alcune a cui dovete dedicare particolare attenzione.
Imposta la classe del terminale utilizzata all'interno della configurazione. Fate riferimenti alla sezione classi per maggiori informazioni.
Definisce una lista di caratteri (o classi di caratteri) che devono essere considerati come appartenenti ad una parola. Questi vengono utilizzati quando si seleziona una parola.
Il terminale di Gnome supporta completamente le estensioni per i colori presenti in xterm. Queste opzioni vi permettono di modificare i colori visualizzati.
gnome-terminal supporta quattro schemi di colori: la console di Linux, i colori di Xterm, i colori di rxvt e uno totalmente personalizzabile. Questi definiscono l'intensità e i colori per le sedici combinazioni di colori ANSI che sono supportate da questi terminali.
Se avete selezionato l'opzione personalizzabile, allora tutti e sedici i colori (nominalmente 8 colori normali e 8 più chiari) possono essere personalizzati selezionando l'apposito selettore.
Quando nessun colore è richiesto dall'applicazione in esecuzione all'interno del gnome-terminal, questo vi permette di ignorare i colori standard per il testo e per lo sfondo.
Sono disponibili le seguenti opzioni: bianco su nero, nero su bianco, verde su nero, nero su giallo chiaro e personalizzabile. Come queste appaiono sullo schermo dipende dalla tavolozza in uso (per il bianco su nero e nero su bianco). Personalizzabile vi permette di selezionare indipendentemente dalla tavolozza il colore predefinito per il testo e lo sfondo.
Inoltre l'utente può trascinare un colore dal rettangolo a fianco della ruota dei colori e rilasciarlo all'interno del terminale. Se l'utente trascina il colore su uno spazio vuoto, questo verrà utilizzato per lo sfondo, invece se verrà rilasciato su testo questo diventerà il colore per il testo. Ciò inoltre modificherà automaticamente i colori personalizzabili, e impostare il nuovo colore per lo sfondo e per il testo.