<?xml version="1.0"?>
<toc>
<tocsect1 linkid="gnome-terminal-introduction">Introducci&#xF3;n
</tocsect1>
<tocsect1 linkid="gnome-terminal-get-started">Procedimientos iniciales
<tocsect2 linkid="gnome-terminal-to-start">Inicio de Terminal de GNOME
</tocsect2>
<tocsect2 linkid="gnome-terminal-first-start">Al iniciar por primera vez Terminal de GNOME
</tocsect2>
<tocsect2 linkid="gnome-terminal-profiles">Perfiles del terminal
</tocsect2>
<tocsect2 linkid="gnome-terminal-more-windows">Trabajar con varios terminales
</tocsect2>
</tocsect1>
<tocsect1 linkid="gnome-terminal-usage">Uso
<tocsect2 linkid="gnome-terminal-windows">Abrir y cerrar terminales
</tocsect2>
<tocsect2 linkid="gnome-terminal-manage-profiles">Administrar perfiles
</tocsect2>
<tocsect2 linkid="gnome-terminal-tabs">Modificar una ventana del terminal
</tocsect2>
<tocsect2 linkid="gnome-terminal-contents">Trabajar con el contenido de ventanas del terminal
</tocsect2>
<tocsect2 linkid="gnome-terminal-shortcuts">Ver la configuraci&#xF3;n de teclas de acceso directo
</tocsect2>
<tocsect2 linkid="gnome-terminal-reset">Recuperar el terminal
</tocsect2>
</tocsect1>
<tocsect1 linkid="gnome-terminal-prefs">Preferencias
<tocsect2 linkid="gnome-terminal-prefs-general">General
</tocsect2>
<tocsect2 linkid="gnome-terminal-prefs-title">T&#xED;tulo y comando
</tocsect2>
<tocsect2 linkid="gnome-terminal-prefs-colors">Colores
</tocsect2>
<tocsect2 linkid="gnome-terminal-prefs-effects">Efectos
</tocsect2>
<tocsect2 linkid="gnome-terminal-prefs-scrolling">Desplazamiento
</tocsect2>
<tocsect2 linkid="gnome-terminal-prefs-compatibility">Compatibilidad
</tocsect2>
</tocsect1>
</toc>
