<?xml version="1.0"?>
<toc>
<tocsect1 linkid="gnome-terminal-introduction">Introduction
</tocsect1>
<tocsect1 linkid="gnome-terminal-get-started">Getting Started
<tocsect2 linkid="gnome-terminal-to-start">To Start GNOME Terminal
</tocsect2>
<tocsect2 linkid="gnome-terminal-first-start">When You First Start GNOME Terminal
</tocsect2>
<tocsect2 linkid="gnome-terminal-profiles">Terminal Profiles
</tocsect2>
<tocsect2 linkid="gnome-terminal-more-windows">Working With Multiple Terminals
</tocsect2>
</tocsect1>
<tocsect1 linkid="gnome-terminal-usage">Usage
<tocsect2 linkid="gnome-terminal-windows">To Open and Close Terminals
</tocsect2>
<tocsect2 linkid="gnome-terminal-manage-profiles">To Manage Profiles
</tocsect2>
<tocsect2 linkid="gnome-terminal-tabs">To Modify a Terminal Window
</tocsect2>
<tocsect2 linkid="gnome-terminal-contents">To Work With the Contents of Terminal Windows
</tocsect2>
<tocsect2 linkid="gnome-terminal-shortcuts">To View the Keyboard Shortcut Settings
</tocsect2>
<tocsect2 linkid="gnome-terminal-resize">To Resize the Text
</tocsect2>
<tocsect2 linkid="gnome-terminal-title">To Change the Terminal Title
</tocsect2>
<tocsect2 linkid="gnome-terminal-encoding">To Change the Character Encoding
<tocsect3 linkid="gnome-terminal-encoding-add">To Change the List of Character Encodings
</tocsect3>
</tocsect2>
<tocsect2 linkid="gnome-terminal-reset">To Recover Your Terminal
</tocsect2>
</tocsect1>
<tocsect1 linkid="gnome-terminal-prefs">Preferences
<tocsect2 linkid="gnome-terminal-prefs-general">General
</tocsect2>
<tocsect2 linkid="gnome-terminal-prefs-title">Title and Command
</tocsect2>
<tocsect2 linkid="gnome-terminal-prefs-colors">Colours
</tocsect2>
<tocsect2 linkid="gnome-terminal-prefs-effects">Effects
</tocsect2>
<tocsect2 linkid="gnome-terminal-prefs-scrolling">Scrolling
</tocsect2>
<tocsect2 linkid="gnome-terminal-prefs-compatibility">Compatibility
</tocsect2>
</tocsect1>
</toc>
