b>: description of a command to be inserted or edited.
<li><b>File</b>: the content of a file that can be inserted.
<li><b>Clipboard</b>: a removed or copied object than can be pasted.
<li><b>Errors</b>: list of errors produced by the 
       <INPUT TYPE=SUBMIT VALUE=CHECK> button.
</ul>

<H2 ALIGN=CENTER><A NAME=CUSTOMIZE>Customization with ParamEditor.conf</A></H2>

The GUI as well as the micro web-server running the GUI can be customized 
by creating a ParamEditor.conf file in the user's home directory.
