src/options_display.php

   1 <?php
   2    /**
   3     **  options_display.php
   4     **
   5     **  Copyright (c) 1999-2000 The SquirrelMail development team
   6     **  Licensed under the GNU GPL. For full terms see the file COPYING.
   7     **
   8     **  Displays all optinos about display preferences
   9     **
  10     **/
  11
  12    session_start();
  13
  14    if (!isset($config_php))
  15       include("../config/config.php");
  16    if (!isset($strings_php))
  17       include("../functions/strings.php");
  18    if (!isset($page_header_php))
  19       include("../functions/page_header.php");
  20    if (!isset($display_messages_php))
  21       include("../functions/display_messages.php");
  22    if (!isset($imap_php))
  23       include("../functions/imap.php");
  24    if (!isset($array_php))
  25       include("../functions/array.php");
  26    if (!isset($i18n_php))
  27       include("../functions/i18n.php");
  28    if (!isset($plugin_php))
  29       include("../functins/plugin.php");
  30
  31    include("../src/load_prefs.php");
  32    displayPageHeader($color, "None");
  33    $chosen_language = getPref($data_dir, $username, "language");
  34 ?>
  35    <br>
  36    <table width=95% align=center border=0 cellpadding=2 cellspacing=0><tr><td bgcolor="<?php echo $color[0] ?>">
  37       <center><b><?php echo _("Options") . " - " . _("Display Preferences"); ?></b></center>
  38    </td></tr></table>
  39
  40    <form name=f action="options.php" method=post>
  41       <table width=100% cellpadding=0 cellspacing=2 border=0>
  42          <tr>
  43             <td align=right nowrap><?php echo _("Theme"); ?>:
  44             </td><td>
  45 <?php
  46    echo "         <tt><select name=chosentheme>\n";
  47    for ($i = 0; $i < count($theme); $i++) {
  48       if ($theme[$i]["PATH"] == $chosen_theme)
  49          echo "         <option selected value=\"".$theme[$i]["PATH"]."\">".$theme[$i]["NAME"]."\n";
  50       else
  51          echo "         <option value=\"".$theme[$i]["PATH"]."\">".$theme[$i]["NAME"]."\n";
  52    }
  53    echo "         </select></tt>";
  54 ?>
  55             </td>
  56          </tr>
  57          <tr>
  58             <td align=right nowrap><?php echo _("Language"); ?>:
  59             </td><td>
  60 <?php
  61    echo "         <tt><select name=language>\n";
  62    reset ($languages);
  63    while (list($code, $name)=each($languages)) {
  64       if ($code==$chosen_language)
  65          echo "         <OPTION SELECTED VALUE=\"".$code."\">".$languages[$code]["NAME"]."\n";
  66       else
  67          echo "         <OPTION VALUE=\"".$code."\">".$languages[$code]["NAME"]."\n";
  68
  69    }
  70    echo "         </select></tt>";
  71 ?>
  72             </td>
  73          <tr>
  74             <td align=right nowrap>&nbsp;
  75             </td><td>
  76                <?php echo _("Use Javascript or HTML addressbook?") . "<br>";
  77                if ($use_javascript_addr_book == true) {
  78                   echo "         <input type=radio name=javascript_abook value=1 checked> " . _("JavaScript") . "&nbsp;&nbsp;&nbsp;&nbsp;";
  79                   echo "         <input type=radio name=javascript_abook value=0> " . _("HTML");
  80                } else {
  81                   echo "         <input type=radio name=javascript_abook value=1> " . _("JavaScript") . "&nbsp;&nbsp;&nbsp;&nbsp;";
  82                   echo "         <input type=radio name=javascript_abook value=0 checked> " . _("HTML");
  83                }
  84                ?>
  85             </td>
  86          </tr>
  87          <tr>
  88             <td align=right nowrap><?php echo _("Number of Messages to Index"); ?>:
  89             </td><td>
  90 <?php
  91    if (isset($show_num))
  92       echo "         <tt><input type=text size=5 name=shownum value=\"$show_num\"></tt><br>";
  93    else
  94       echo "         <tt><input type=text size=5 name=shownum value=\"25\"></tt><br>";
  95 ?>
  96             </td>
  97          </tr>
  98          <tr>
  99             <td align=right nowrap><?php echo _("Wrap incoming text at"); ?>:
 100             </td><td>
 101 <?php
 102    if (isset($wrap_at))
 103       echo "         <tt><input type=text size=5 name=wrapat value=\"$wrap_at\"></tt><br>";
 104    else
 105       echo "         <tt><input type=text size=5 name=wrapat value=\"86\"></tt><br>";
 106 ?>
 107             </td>
 108          </tr>
 109          <tr>
 110             <td align=right nowrap><?php echo _("Size of editor window"); ?>:
 111             </td><td>
 112 <?php
 113    if ($editor_size >= 10 && $editor_size <= 255)
 114       echo "         <tt><input type=text size=5 name=editorsize value=\"$editor_size\"></tt><br>";
 115    else
 116       echo "         <tt><input type=text size=5 name=editorsize value=\"76\"></tt><br>";
 117 ?>
 118             </td>
 119          </tr>
 120          <tr>
 121             <td align=right nowrap><?PHP echo _('Location of folder list') ?>:</td>
 122             <td><select name="folder_new_location">
 123                 <option value="left"<?PHP
 124                     if ($location_of_bar != 'right') echo ' SELECTED';
 125                     ?>><?PHP echo _('Left'); ?></option>
 126                 <option value="right"<?PHP
 127                     if ($location_of_bar == 'right') echo ' SELECTED';
 128                     ?>><?PHP echo _('Right'); ?></option>
 129                 </select>
 130             </td>
 131          </tr>
 132          <tr>
 133             <td align=right nowrap><?php echo _("Width of folder list"); ?>:
 134             </td><td>
 135 <?php
 136    echo "         <select name=leftsize>\n";
 137    if ($left_size == 100)
 138       echo "<option value=100 selected>100 pixels\n";
 139    else
 140       echo "<option value=100>100 pixels\n";
 141
 142    if ($left_size == 125)
 143       echo "<option value=125 selected>125 pixels\n";
 144    else
 145       echo "<option value=125>125 pixels\n";
 146
 147    if ($left_size == 150)
 148       echo "<option value=150 selected>150 pixels\n";
 149    else
 150       echo "<option value=150>150 pixels\n";
 151
 152    if ($left_size == 175)
 153       echo "<option value=175 selected>175 pixels\n";
 154    else
 155       echo "<option value=175>175 pixels\n";
 156
 157    if (($left_size == 200) || ($left_size == ""))
 158       echo "<option value=200 selected>200 pixels\n";
 159    else
 160       echo "<option value=200>200 pixels\n";
 161
 162    if (($left_size == 225))
 163       echo "<option value=225 selected>225 pixels\n";
 164    else
 165       echo "<option value=225>225 pixels\n";
 166
 167    if (($left_size == 250))
 168       echo "<option value=250 selected>250 pixels\n";
 169    else
 170       echo "<option value=250>250 pixels\n";
 171
 172    if ($left_size == 275)
 173       echo "<option value=275 selected>275 pixels\n";
 174    else
 175       echo "<option value=275>275 pixels\n";
 176
 177    if (($left_size == 300))
 178       echo "<option value=300 selected>300 pixels\n";
 179    else
 180       echo "<option value=300>300 pixels\n";
 181
 182    echo "         </select>";
 183 ?>
 184             </td>
 185          </tr>
 186          <tr>
 187             <td align=right nowrap><?php echo _("Auto refresh folder list"); ?>:
 188             </td><td>
 189 <?php
 190    echo "               <SELECT name=leftrefresh>";
 191    if (($left_refresh == "None") || ($left_refresh == ""))
 192       echo "                  <OPTION VALUE=None SELECTED>None";
 193    else
 194       echo "                  <OPTION VALUE=None>None";
 195
 196    if (($left_refresh == "10"))
 197       echo "                  <OPTION VALUE=10 SELECTED>10 Seconds";
 198    else
 199       echo "                  <OPTION VALUE=10>10 Seconds";
 200
 201    if (($left_refresh == "20"))
 202       echo "                  <OPTION VALUE=20 SELECTED>20 Seconds";
 203    else
 204       echo "                  <OPTION VALUE=20>20 Seconds";
 205
 206    if (($left_refresh == "30"))
 207       echo "                  <OPTION VALUE=30 SELECTED>30 Seconds";
 208    else
 209       echo "                  <OPTION VALUE=30>30 Seconds";
 210
 211    if (($left_refresh == "60"))
 212       echo "                  <OPTION VALUE=60 SELECTED>1 Minute";
 213    else
 214       echo "                  <OPTION VALUE=60>1 Minute";
 215
 216    if (($left_refresh == "120"))
 217       echo "                  <OPTION VALUE=120 SELECTED>2 Minutes";
 218    else
 219       echo "                  <OPTION VALUE=120>2 Minutes";
 220
 221    if (($left_refresh == "180"))
 222       echo "                  <OPTION VALUE=180 SELECTED>3 Minutes";
 223    else
 224       echo "                  <OPTION VALUE=180>3 Minutes";
 225
 226    if (($left_refresh == "240"))
 227       echo "                  <OPTION VALUE=240 SELECTED>4 Minutes";
 228    else
 229       echo "                  <OPTION VALUE=240>4 Minutes";
 230
 231    if (($left_refresh == "300"))
 232       echo "                  <OPTION VALUE=300 SELECTED>5 Minutes";
 233    else
 234       echo "                  <OPTION VALUE=300>5 Minutes";
 235
 236    if (($left_refresh == "420"))
 237       echo "                  <OPTION VALUE=420 SELECTED>7 Minutes";
 238    else
 239       echo "                  <OPTION VALUE=420>7 Minutes";
 240
 241    if (($left_refresh == "600"))
 242       echo "                  <OPTION VALUE=600 SELECTED>10 Minutes";
 243    else
 244       echo "                  <OPTION VALUE=600>10 Minutes";
 245
 246    if (($left_refresh == "720"))
 247       echo "                  <OPTION VALUE=720 SELECTED>12 Minutes";
 248    else
 249       echo "                  <OPTION VALUE=720>12 Minutes";
 250
 251    if (($left_refresh == "900"))
 252       echo "                  <OPTION VALUE=900 SELECTED>15 Minutes";
 253    else
 254       echo "                  <OPTION VALUE=900>15 Minutes";
 255
 256    if (($left_refresh == "1200"))
 257       echo "                  <OPTION VALUE=1200 SELECTED>20 Minutes";
 258    else
 259       echo "                  <OPTION VALUE=1200>20 Minutes";
 260
 261    if (($left_refresh == "1500"))
 262       echo "                  <OPTION VALUE=1500 SELECTED>25 Minutes";
 263    else
 264       echo "                  <OPTION VALUE=1500>25 Minutes";
 265
 266    if (($left_refresh == "1800"))
 267       echo "                  <OPTION VALUE=1800 SELECTED>30 Minutes";
 268    else
 269       echo "                  <OPTION VALUE=1800>30 Minutes";
 270
 271       echo "               </SELECT>";
 272 ?>
 273             </td>
 274          </tr>
 275          <?php do_hook("options_display_inside"); ?>
 276          <tr>
 277             <td>&nbsp;
 278             </td><td>
 279                <input type="submit" value="<?php echo _("Submit"); ?>"name="submit_display">
 280             </td>
 281          </tr>
 282       </table>
 283    </form>
 284    <?php do_hook("options_display_bottom"); ?>
 285 </body></html>