nation for the prompt bar.
(When this option is not specified, the colors of the title bar are used.)
See <a href="#set-keycolor"><code>set keycolor</code></a> for valid color names.
</p>
</dd>
<dt><code>set punct &quot;<var>characters</var>&quot;</code></dt>
<dd><p>Set the characters treated as closing punctuation when justifying
paragraphs.  This may not include blank characters.  Only the
specified closing punctuation, optionally followed by closing brackets
(see <code>set brackets</code>), can end sente