- <form action="options.php" method=post>
- <table width=100% cellpadding=0 cellspacing=2 border=0>
- <tr>
- <td align=right nowrap><? echo _("Theme"); ?>:
- </td><td>
-<?
- echo " <tt><select name=chosentheme>\n";
- for ($i = 0; $i < count($theme); $i++) {
- if ($theme[$i]["PATH"] == $chosen_theme)
- echo " <option selected value=\"".$theme[$i]["PATH"]."\">".$theme[$i]["NAME"]."\n";
- else
- echo " <option value=\"".$theme[$i]["PATH"]."\">".$theme[$i]["NAME"]."\n";
- }
- echo " </select></tt>";
-?>
- </td>
- </tr>
- <tr>
- <td align=right nowrap><? echo _("Language"); ?>:
- </td><td>
-<?
- echo " <tt><select name=language>\n";
- reset ($languages);
- while (list($code, $name)=each($languages)) {
- if ($code==$chosen_language)
- echo " <OPTION SELECTED VALUE=\"".$code."\">".$languages[$code]["NAME"]."\n";
- else
- echo " <OPTION VALUE=\"".$code."\">".$languages[$code]["NAME"]."\n";
-
- }
- echo " </select></tt>";
-?>
- </td>
- <tr>
- <td align=right nowrap>
- </td><td>
- <? echo _("Use Javascript or HTML addressbook?") . "<br>";
- if ($use_javascript_addr_book == true) {
- echo " <input type=radio name=javascript_abook value=1 checked> " . _("JavaScript") . " ";
- echo " <input type=radio name=javascript_abook value=0> " . _("HTML");
- } else {
- echo " <input type=radio name=javascript_abook value=1> " . _("JavaScript") . " ";
- echo " <input type=radio name=javascript_abook value=0 checked> " . _("HTML");
- }
- ?>
- </td>
- </tr>
- <tr>
- <td align=right nowrap><? echo _("Number of Messages to Index"); ?>:
- </td><td>
-<?
- if (isset($show_num))
- echo " <tt><input type=text size=5 name=shownum value=\"$show_num\"></tt><br>";
- else
- echo " <tt><input type=text size=5 name=shownum value=\"25\"></tt><br>";
-?>
- </td>
- </tr>
- <tr>
- <td align=right nowrap><? echo _("Wrap incoming text at"); ?>:
- </td><td>
-<?
- 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>";
-?>
- </td>
- </tr>
- <tr>
- <td align=right nowrap><? echo _("Size of editor window"); ?>:
- </td><td>
-<?
- if ($editor_size >= 10 && $editor_size <= 255)
- 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>";
-?>
- </td>
- </tr>
- <tr>
- <td align=right nowrap><? echo _("Width of left folder list"); ?>:
- </td><td>
-<?
- echo " <select name=leftsize>\n";
- if ($left_size == 100)
- echo "<option value=100 selected>100 pixels\n";
- else
- echo "<option value=100>100 pixels\n";
-
- if ($left_size == 125)
- echo "<option value=125 selected>125 pixels\n";
- else
- echo "<option value=125>125 pixels\n";
-
- if ($left_size == 150)
- echo "<option value=150 selected>150 pixels\n";
- else
- echo "<option value=150>150 pixels\n";
-
- if ($left_size == 175)
- echo "<option value=175 selected>175 pixels\n";
- else
- echo "<option value=175>175 pixels\n";
-
- if (($left_size == 200) || ($left_size == ""))
- echo "<option value=200 selected>200 pixels\n";
- else
- echo "<option value=200>200 pixels\n";
-
- if (($left_size == 225))
- echo "<option value=225 selected>225 pixels\n";
- else
- echo "<option value=225>225 pixels\n";
-
- if (($left_size == 250))
- echo "<option value=250 selected>250 pixels\n";
- else
- echo "<option value=250>250 pixels\n";
-
- if ($left_size == 275)
- echo "<option value=275 selected>275 pixels\n";
- else
- echo "<option value=275>275 pixels\n";
-
- if (($left_size == 300))
- echo "<option value=300 selected>300 pixels\n";
- else
- echo "<option value=300>300 pixels\n";
-
- echo " </select>";
-?>
- </td>
- </tr>
- <tr>
- <td align=right nowrap><? echo _("Auto refresh folder list"); ?>:
- </td><td>
-<?
- echo " <SELECT name=leftrefresh>";
- if (($left_refresh == "None") || ($left_refresh == ""))
- echo " <OPTION VALUE=None SELECTED>None";
- else
- echo " <OPTION VALUE=None>None";
-
- if (($left_refresh == "10"))
- echo " <OPTION VALUE=10 SELECTED>10 Seconds";
- else
- echo " <OPTION VALUE=10>10 Seconds";
-
- if (($left_refresh == "20"))
- echo " <OPTION VALUE=20 SELECTED>20 Seconds";
- else
- echo " <OPTION VALUE=20>20 Seconds";
-
- if (($left_refresh == "30"))
- echo " <OPTION VALUE=30 SELECTED>30 Seconds";
- else
- echo " <OPTION VALUE=30>30 Seconds";
-
- if (($left_refresh == "60"))
- echo " <OPTION VALUE=60 SELECTED>1 Minute";
- else
- echo " <OPTION VALUE=60>1 Minute";
-
- if (($left_refresh == "120"))
- echo " <OPTION VALUE=120 SELECTED>2 Minutes";
- else
- echo " <OPTION VALUE=120>2 Minutes";
-
- if (($left_refresh == "180"))
- echo " <OPTION VALUE=180 SELECTED>3 Minutes";
- else
- echo " <OPTION VALUE=180>3 Minutes";
-
- if (($left_refresh == "240"))
- echo " <OPTION VALUE=240 SELECTED>4 Minutes";
- else
- echo " <OPTION VALUE=240>4 Minutes";
-
- if (($left_refresh == "300"))
- echo " <OPTION VALUE=300 SELECTED>5 Minutes";
- else
- echo " <OPTION VALUE=300>5 Minutes";
-
- if (($left_refresh == "420"))
- echo " <OPTION VALUE=420 SELECTED>7 Minutes";
- else
- echo " <OPTION VALUE=420>7 Minutes";
+ <b><?php echo _("Options") . ' - ' . _("Display Preferences"); ?></b><br>
+
+ <table width="100%" border="0" cellpadding="1" cellspacing="1">
+ <tr><td bgcolor="<?php echo $color[4] ?>" align="center">
+
+ <form name="f" action="options.php" method="post"><br>
+ <table width="100%" cellpadding="2" cellspacing="0" border="0">
+<?php
+
+ /* Build a simple array into which we will build options. */
+ $optvals = array();
+
+ $theme_values = array();
+ foreach ($theme as $theme_key => $theme_attributes) {
+ $theme_values[$theme_attributes['PATH']] = $theme_attributes['NAME'];
+ }
+ $optvals[] = array(
+ 'name' => 'chosen_theme',
+ 'caption' => _("Theme"),
+ 'type' => SMOPT_TYPE_STRLIST,
+ 'refresh' => SMOPT_REFRESH_ALL,
+ 'posvals' => $theme_values
+ );
+
+ $language_values = array();
+ foreach ($languages as $lang_key => $lang_attributes) {
+ if (isset($lang_attributes['NAME'])) {
+ $language_values[$lang_key] = $lang_attributes['NAME'];
+ }
+ }
+ $optvals[] = array(
+ 'name' => 'language',
+ 'caption' => _("Language"),
+ 'type' => SMOPT_TYPE_STRLIST,
+ 'refresh' => SMOPT_REFRESH_ALL,
+ 'posvals' => $language_values
+ );
+
+ $optvals[] = array(
+ 'name' => 'use_javascript_addr_book',
+ 'caption' => _("Addressbook Display Format"),
+ 'type' => SMOPT_TYPE_STRLIST,
+ 'refresh' => SMOPT_REFRESH_NONE,
+ 'posvals' => array('1' => _("Javascript"),
+ '0' => _("HTML"))
+ );
+
+ /* Set values for the "use javascript" option. */
+ $optvals[] = array(
+ 'name' => 'javascript_setting',
+ 'caption' => _("Use Javascript"),
+ 'type' => SMOPT_TYPE_STRLIST,
+ 'refresh' => SMOPT_REFRESH_ALL,
+ 'posvals' => array(SMPREF_JS_AUTODETECT => _("Autodetect"),
+ SMPREF_JS_ON => _("Always"),
+ SMPREF_JS_OFF => _("Never"))
+ );
+
+ $js_autodetect_results = SMPREF_JS_OFF;
+ $optvals[] = array(
+ 'name' => 'js_autodetect_results',
+ 'caption' => '',
+ 'type' => SMOPT_TYPE_HIDDEN,
+ 'refresh' => SMOPT_REFRESH_NONE
+ );
+
+ $optvals[] = array(
+ 'name' => 'show_num',
+ 'caption' => _("Number of Messages to Index"),
+ 'type' => SMOPT_TYPE_INTEGER,
+ 'refresh' => SMOPT_REFRESH_NONE
+ );
+
+ $optvals[] = array(
+ 'name' => 'wrap_at',
+ 'caption' => _("Wrap Incoming Text At"),
+ 'type' => SMOPT_TYPE_INTEGER,
+ 'refresh' => SMOPT_REFRESH_NONE
+ );