Guida utente per l'emulatore di terminale di Gnome

Miguel de Icaza

Michael Zucchi

Note legalidocumentazione in via di sviluppo

Sommario

La guida utente dell'emulatore di terminale di Gnome.

Descrizione

Opzioni configurabili

Opzioni generiche
Configurazione dei colori

Classi di terminali

Opzioni da riga di comando

Uso del puntatore

Selezione
Incollare il testo
Mouse con rotella
Menu di controllo
Aprire URL
Drag and Drop

Menu File
Menu Modifica
Menu Opzioni
Menu Aiuto
Menu a tendina

		Avanti
		La guida utente dell'emulatore di terminale di Gnome.