home *** CD-ROM | disk | FTP | other *** search
- <?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├╣ 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à
- </tocsect2>
- </tocsect1>
- </toc>
-