Guida utente per l'emulatore di terminale di Gnome

Miguel de Icaza

Michael Zucchi


Sommario
1. La guida utente dell'emulatore di terminale di Gnome.
1.1. Descrizione
1.2. Emulazione
1.3. Opzioni configurabili
1.3.1. Opzioni generiche
1.3.2. Configurazione dei colori
1.4. Classi di terminali
1.5. Opzioni da riga di comando
1.6. Uso del puntatore
1.6.1. Selezione
1.6.2. Incollare il testo
1.6.3. Mouse con rotella
1.6.4. Menu di controllo
1.6.5. Aprire URL
1.6.6. Drag and Drop
1.7. Menu
1.7.1. Menu File
1.7.2. Menu Modifica
1.7.3. Menu Opzioni
1.7.4. Menu Aiuto
1.7.5. Menu a tendina
1.8. Ambiente
1.9. Autori