home *** CD-ROM | disk | FTP | other *** search
- <?xml version="1.0"?>
- <toc>
- <tocsect1 linkid="gnome-terminal-introduction">Introducci├│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├│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í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>
-