<?xml version="1.0"?>
<toc>
<tocsect1 linkid="gnome-terminal-introduction">Introduzione
</tocsect1>
<tocsect1 linkid="gnome-terminal-get-started">Per iniziare
<tocsect2 linkid="gnome-terminal-to-start">Avviare il Terminale GNOME
</tocsect2>
<tocsect2 linkid="gnome-terminal-first-start">Primo avvio del Terminale GNOME
</tocsect2>
<tocsect2 linkid="gnome-terminal-profiles">Profili del terminale
</tocsect2>
<tocsect2 linkid="gnome-terminal-more-windows">Utilizzo di pi&#xF9; terminali
</tocsect2>
</tocsect1>
<tocsect1 linkid="gnome-terminal-usage">Utilizzo
<tocsect2 linkid="gnome-terminal-windows">Aprire e chiudere un terminale
</tocsect2>
<tocsect2 linkid="gnome-terminal-manage-profiles">Gestire  i profili
</tocsect2>
<tocsect2 linkid="gnome-terminal-tabs">Modificare una finestra di terminale
</tocsect2>
<tocsect2 linkid="gnome-terminal-contents">Usare il contenuto della finestra di terminale
</tocsect2>
<tocsect2 linkid="gnome-terminal-shortcuts">Visualizzare le scelte rapide della tastiera
</tocsect2>
<tocsect2 linkid="gnome-terminal-reset">Risolvere i problemi del terminale
</tocsect2>
</tocsect1>
<tocsect1 linkid="gnome-terminal-prefs">Preferenze
<tocsect2 linkid="gnome-terminal-prefs-general">Generale
</tocsect2>
<tocsect2 linkid="gnome-terminal-prefs-title">Titolo e comando
</tocsect2>
<tocsect2 linkid="gnome-terminal-prefs-colors">Colori
</tocsect2>
<tocsect2 linkid="gnome-terminal-prefs-effects">Effetti
</tocsect2>
<tocsect2 linkid="gnome-terminal-prefs-scrolling">Scorrimento
</tocsect2>
<tocsect2 linkid="gnome-terminal-prefs-compatibility">Compatibilit&#xE0;
</tocsect2>
</tocsect1>
</toc>
