Menu

1.7. Menu

Il terminale di Gnome fornisce una serie di controlli attraverso la barra del menu e il menu a tendina.

1.7.3. Menu Opzioni

Preferenze ...

Mostra la finestra di dialogo per le preferenze. Le impostazioni che possono essere controllate da questa finestra sono descritte nella sezione configurazione.

Ripristina il terminale

Ripristina i parametri del terminale. Questo non cancellerà lo schermo o sposterà l cursore, ma ogni terminale aperto successivamente sarà inizializzato con i font e attributi predefiniti.

Ripristina e cancella

Ripristina i parametri del terminale, cancellando inoltre il contenuto dello schermo. Tutti i caratteri e attributi vengono annullati.

Selettori colori...

Può essere utilizzato per trascinare i colori nel terminale. Fate riferimento alla descrizione del selettore dei colori.