5dabd931b86a186d5814ea4878b74bdd19d70527
5 ** Copyright (c) 1999-2000 The SquirrelMail development team
6 ** Licensed under the GNU GPL. For full terms see the file COPYING.
8 ** Displays all optinos about display preferences
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");
29 include("../src/load_prefs.php");
30 displayPageHeader($color, "None");
31 $chosen_language = getPref($data_dir, $username, "language");
34 <table width
=95% align
=center border
=0 cellpadding
=2 cellspacing
=0><tr
><td bgcolor
="<?php echo $color[0] ?>">
35 <center
><b
><?php
echo _("Options") . " - " . _("Display Preferences"); ?
></b
></center
>
38 <form action
="options.php" method
=post
>
39 <table width
=100% cellpadding
=0 cellspacing
=2 border
=0>
41 <td align
=right nowrap
><?php
echo _("Theme"); ?
>:
44 echo " <tt><select name=chosentheme>\n";
45 for ($i = 0; $i < count($theme); $i++
) {
46 if ($theme[$i]["PATH"] == $chosen_theme)
47 echo " <option selected value=\"".$theme[$i]["PATH"]."\">".$theme[$i]["NAME"]."\n";
49 echo " <option value=\"".$theme[$i]["PATH"]."\">".$theme[$i]["NAME"]."\n";
51 echo " </select></tt>";
56 <td align
=right nowrap
><?php
echo _("Language"); ?
>:
59 echo " <tt><select name=language>\n";
61 while (list($code, $name)=each($languages)) {
62 if ($code==$chosen_language)
63 echo " <OPTION SELECTED VALUE=\"".$code."\">".$languages[$code]["NAME"]."\n";
65 echo " <OPTION VALUE=\"".$code."\">".$languages[$code]["NAME"]."\n";
68 echo " </select></tt>";
72 <td align
=right nowrap
> 
;
74 <?php
echo _("Use Javascript or HTML addressbook?") . "<br>";
75 if ($use_javascript_addr_book == true) {
76 echo " <input type=radio name=javascript_abook value=1 checked> " . _("JavaScript") . " ";
77 echo " <input type=radio name=javascript_abook value=0> " . _("HTML");
79 echo " <input type=radio name=javascript_abook value=1> " . _("JavaScript") . " ";
80 echo " <input type=radio name=javascript_abook value=0 checked> " . _("HTML");
86 <td align
=right nowrap
><?php
echo _("Number of Messages to Index"); ?
>:
90 echo " <tt><input type=text size=5 name=shownum value=\"$show_num\"></tt><br>";
92 echo " <tt><input type=text size=5 name=shownum value=\"25\"></tt><br>";
97 <td align
=right nowrap
><?php
echo _("Wrap incoming text at"); ?
>:
101 echo " <tt><input type=text size=5 name=wrapat value=\"$wrap_at\"></tt><br>";
103 echo " <tt><input type=text size=5 name=wrapat value=\"86\"></tt><br>";
108 <td align
=right nowrap
><?php
echo _("Size of editor window"); ?
>:
111 if ($editor_size >= 10 && $editor_size <= 255)
112 echo " <tt><input type=text size=5 name=editorsize value=\"$editor_size\"></tt><br>";
114 echo " <tt><input type=text size=5 name=editorsize value=\"76\"></tt><br>";
119 <td align
=right nowrap
><?php
echo _("Width of left folder list"); ?
>:
122 echo " <select name=leftsize>\n";
123 if ($left_size == 100)
124 echo "<option value=100 selected>100 pixels\n";
126 echo "<option value=100>100 pixels\n";
128 if ($left_size == 125)
129 echo "<option value=125 selected>125 pixels\n";
131 echo "<option value=125>125 pixels\n";
133 if ($left_size == 150)
134 echo "<option value=150 selected>150 pixels\n";
136 echo "<option value=150>150 pixels\n";
138 if ($left_size == 175)
139 echo "<option value=175 selected>175 pixels\n";
141 echo "<option value=175>175 pixels\n";
143 if (($left_size == 200) ||
($left_size == ""))
144 echo "<option value=200 selected>200 pixels\n";
146 echo "<option value=200>200 pixels\n";
148 if (($left_size == 225))
149 echo "<option value=225 selected>225 pixels\n";
151 echo "<option value=225>225 pixels\n";
153 if (($left_size == 250))
154 echo "<option value=250 selected>250 pixels\n";
156 echo "<option value=250>250 pixels\n";
158 if ($left_size == 275)
159 echo "<option value=275 selected>275 pixels\n";
161 echo "<option value=275>275 pixels\n";
163 if (($left_size == 300))
164 echo "<option value=300 selected>300 pixels\n";
166 echo "<option value=300>300 pixels\n";
173 <td align
=right nowrap
><?php
echo _("Auto refresh folder list"); ?
>:
176 echo " <SELECT name=leftrefresh>";
177 if (($left_refresh == "None") ||
($left_refresh == ""))
178 echo " <OPTION VALUE=None SELECTED>None";
180 echo " <OPTION VALUE=None>None";
182 if (($left_refresh == "10"))
183 echo " <OPTION VALUE=10 SELECTED>10 Seconds";
185 echo " <OPTION VALUE=10>10 Seconds";
187 if (($left_refresh == "20"))
188 echo " <OPTION VALUE=20 SELECTED>20 Seconds";
190 echo " <OPTION VALUE=20>20 Seconds";
192 if (($left_refresh == "30"))
193 echo " <OPTION VALUE=30 SELECTED>30 Seconds";
195 echo " <OPTION VALUE=30>30 Seconds";
197 if (($left_refresh == "60"))
198 echo " <OPTION VALUE=60 SELECTED>1 Minute";
200 echo " <OPTION VALUE=60>1 Minute";
202 if (($left_refresh == "120"))
203 echo " <OPTION VALUE=120 SELECTED>2 Minutes";
205 echo " <OPTION VALUE=120>2 Minutes";
207 if (($left_refresh == "180"))
208 echo " <OPTION VALUE=180 SELECTED>3 Minutes";
210 echo " <OPTION VALUE=180>3 Minutes";
212 if (($left_refresh == "240"))
213 echo " <OPTION VALUE=240 SELECTED>4 Minutes";
215 echo " <OPTION VALUE=240>4 Minutes";
217 if (($left_refresh == "300"))
218 echo " <OPTION VALUE=300 SELECTED>5 Minutes";
220 echo " <OPTION VALUE=300>5 Minutes";
222 if (($left_refresh == "420"))
223 echo " <OPTION VALUE=420 SELECTED>7 Minutes";
225 echo " <OPTION VALUE=420>7 Minutes";
227 if (($left_refresh == "600"))
228 echo " <OPTION VALUE=600 SELECTED>10 Minutes";
230 echo " <OPTION VALUE=600>10 Minutes";
232 if (($left_refresh == "720"))
233 echo " <OPTION VALUE=720 SELECTED>12 Minutes";
235 echo " <OPTION VALUE=720>12 Minutes";
237 if (($left_refresh == "900"))
238 echo " <OPTION VALUE=900 SELECTED>15 Minutes";
240 echo " <OPTION VALUE=900>15 Minutes";
242 if (($left_refresh == "1200"))
243 echo " <OPTION VALUE=1200 SELECTED>20 Minutes";
245 echo " <OPTION VALUE=1200>20 Minutes";
247 if (($left_refresh == "1500"))
248 echo " <OPTION VALUE=1500 SELECTED>25 Minutes";
250 echo " <OPTION VALUE=1500>25 Minutes";
252 if (($left_refresh == "1800"))
253 echo " <OPTION VALUE=1800 SELECTED>30 Minutes";
255 echo " <OPTION VALUE=1800>30 Minutes";
264 <input type
="submit" value
="Submit" name
="submit_display">