+ // WRAP_AT
+ echo " <TR>";
+ echo " <TD WIDTH=60% ALIGN=RIGHT>";
+ echo " <FONT FACE=\"Arial,Helvetica\">";
+ echo " Wrap incoming text at:";
+ echo " </FONT>";
+ echo " </TD>";
+ echo " <TD WIDTH=40% ALIGN=LEFT>";
+ echo " <FONT FACE=\"Arial,Helvetica\">";
+ if (isset($wrap_at))
+ echo " <TT><INPUT TYPE=TEXT SIZE=5 NAME=wrapat VALUE=\"$wrap_at\"></TT><BR>";
+ else
+ echo " <TT><INPUT TYPE=TEXT SIZE=5 NAME=wrapat VALUE=\"86\"></TT><BR>";
+ echo " </FONT>";
+ echo " </TD>";
+ echo " </TR>";
+
+ // EDITOR_SIZE
+ echo " <TR>";
+ echo " <TD WIDTH=60% ALIGN=RIGHT>";
+ echo " <FONT FACE=\"Arial,Helvetica\">";
+ echo " Size of editor window (in characters):";
+ echo " </FONT>";
+ echo " </TD>";
+ echo " <TD WIDTH=40% ALIGN=LEFT>";
+ echo " <FONT FACE=\"Arial,Helvetica\">";
+ if (isset($editor_size))
+ echo " <TT><INPUT TYPE=TEXT SIZE=5 NAME=editorsize VALUE=\"$editor_size\"></TT><BR>";
+ else
+ echo " <TT><INPUT TYPE=TEXT SIZE=5 NAME=editorsize VALUE=\"76\"></TT><BR>";
+ echo " </FONT>";
+ echo " </TD>";
+ echo " </TR>";
+ echo "</TABLE>";
+
+
+ // SUBMIT BUTTON
+ echo "<BR><CENTER><INPUT TYPE=SUBMIT VALUE=\"Submit\"></CENTER>\n";