63
63
tab header.</p></li><li><p>Type the new title in the <span class="guilabel"><strong>Title</strong></span> text box. Terminal applies
64
64
the change immediately.</p></li><li><p>Click the button <span class="guilabel"><strong>Close</strong></span> or press the <span class="keycap"><strong>Return</strong></span>
65
65
key to close the <span class="guilabel"><strong>Set Title</strong></span> dialog.</p></li></ol></div><p>To reset the terminal title to its default behavior, perform the same three steps
66
as described above, but enter an empty title.</p></div><div class="sect2" lang="en"><div class="titlepage"><div><div><h3 class="title"><a name="id2555757"></a>To recover your terminal</h3></div></div></div><p>This section provides some advice if you have problems with terminals.</p><div class="variablelist"><dl><dt><span class="term">To reset the state of the terminal:</span></dt><dd><p>Choose <span class="guimenu"><strong>Terminal</strong></span> → <span class="guimenuitem"><strong>Reset</strong></span>.</p></dd><dt><span class="term">To reset the terminal and clear the terminal screen:</span></dt><dd><p>Choose <span class="guimenu"><strong>Terminal</strong></span> → <span class="guimenuitem"><strong>Reset and Clear</strong></span>.</p></dd></dl></div><p>
66
as described above, but enter an empty title.</p></div><div class="sect2" lang="en"><div class="titlepage"><div><div><h3 class="title"><a name="id2838127"></a>To recover your terminal</h3></div></div></div><p>This section provides some advice if you have problems with terminals.</p><div class="variablelist"><dl><dt><span class="term">To reset the state of the terminal:</span></dt><dd><p>Choose <span class="guimenu"><strong>Terminal</strong></span> → <span class="guimenuitem"><strong>Reset</strong></span>.</p></dd><dt><span class="term">To reset the terminal and clear the terminal screen:</span></dt><dd><p>Choose <span class="guimenu"><strong>Terminal</strong></span> → <span class="guimenuitem"><strong>Reset and Clear</strong></span>.</p></dd></dl></div><p>
67
67
You can also use the shell commands <strong class="userinput"><code><span class="command"><strong>reset</strong></span></code></strong> and
68
68
<strong class="userinput"><code><span class="command"><strong>clear</strong></span></code></strong> to recover your terminal.
69
69
</p></div><div class="sect2" lang="en"><div class="titlepage"><div><div><h3 class="title"><a name="customize-toolbars"></a>To customize the toolbars</h3></div></div></div><p>As already mentioned, Terminal includes support for customizable toolbars. The toolbars