cb160d3e3f037f2f10d10c3691cefd0b75e31061
[atutor.git] / docs / users / content_settings.inc.php
1
2 <fieldset class="content-settings">
3 <?php include_once('alt_to_text.inc.php'); ?>
4 </fieldset>
5
6 <fieldset class="content-settings">
7 <?php include_once('alt_to_audio.inc.php'); ?>
8 </fieldset>
9
10 <fieldset class="content-settings">
11 <?php include_once('alt_to_visual.inc.php'); ?>
12 </fieldset>
13
14 <!--
15 <fieldset>
16 <legend><strong><?php echo _AT("text_alternatives"); ?></strong> </legend>  
17
18         <div class="row">
19                 <?php echo _AT('use_alternate_text'); ?><br />
20                 <?php
21                         $yes = $no  = '';
22                         
23                         if (isset($_POST["use_alternate_text"]))
24                                 $selected_uat = $_POST["use_alternate_text"];
25                         else
26                                 $selected_uat = $_SESSION['prefs']['PREF_USE_ALTERNATE_TEXT'];
27                                 
28                         if ($selected_uat == 1) {
29                                 $yes = ' checked="checked"';
30                         } else {
31                                 $no  = ' checked="checked"';
32                         }
33 ?>
34                 <input type="radio" name="use_alternate_text" id="uat_yes" value="1" <?php echo $yes; ?> /><label for="uat_yes"><?php echo _AT('yes'); ?></label> 
35                 <input type="radio" name="use_alternate_text" id="uat_no" value="0" <?php echo $no; ?> /><label for="uat_no"><?php echo _AT('no'); ?></label>           
36         </div>
37
38         <div class="row">
39                 <label for="alt_text_lang"><?php echo _AT('alt_text_lang'); ?></label><br />
40                         <select name="alt_text_lang" id="alt_text_lang"><?php
41                                 if (isset($_POST['alt_text_lang']))
42                                         $selected_lang = $_POST['alt_text_lang'];
43                                 else
44                                         $selected_lang = $_SESSION['prefs']['PREF_ALT_TEXT_LANG'];
45
46                                 output_language_options($this->languages, $selected_lang);
47 ?>
48                         </select>
49         </div>
50
51         <div class="row">
52                 <label for="long_desc_lang"><?php echo _AT('long_desc_lang'); ?></label><br />
53                         <select name="long_desc_lang" id="long_desc_lang"><?php
54                                 if (isset($_POST['long_desc_lang']))
55                                         $selected_lang = $_POST['long_desc_lang'];
56                                 else
57                                         $selected_lang = $_SESSION['prefs']['PREF_LONG_DESC_LANG'];
58
59                                 output_language_options($this->languages, $selected_lang);
60 ?>
61                         </select>
62         </div>
63
64         <div class="row">
65                 <?php echo _AT('use_graphic_alternative'); ?><br />
66                 <?php
67                         $yes = $no  = '';
68                         
69                         if (isset($_POST["use_graphic_alternative"]))
70                                 $selected_uga = $_POST["use_graphic_alternative"];
71                         else
72                                 $selected_uga = $_SESSION['prefs']['PREF_USE_GRAPHIC_ALTERNATIVE'];
73                                 
74                         if ($selected_uga == 1) {
75                                 $yes = ' checked="checked"';
76                         } else {
77                                 $no  = ' checked="checked"';
78                         }
79 ?>
80                 <input type="radio" name="use_graphic_alternative" id="uga_yes" value="1" <?php echo $yes; ?> /><label for="uga_yes"><?php echo _AT('yes'); ?></label> 
81                 <input type="radio" name="use_graphic_alternative" id="uga_no" value="0" <?php echo $no; ?> /><label for="uga_no"><?php echo _AT('no'); ?></label>              
82         </div>
83
84         <div class="row">
85                 <?php echo _AT('use_graphic_alternative'); ?><br />
86                 <?php
87                         $yes = $no  = '';
88                         
89                         if (isset($_POST["use_sign_lang"]))
90                                 $selected_usl = $_POST["use_sign_lang"];
91                         else
92                                 $selected_usl = $_SESSION['prefs']['PREF_USE_SIGN_LANG'];
93                                 
94                         if ($selected_usl == 1) {
95                                 $yes = ' checked="checked"';
96                         } else {
97                                 $no  = ' checked="checked"';
98                         }
99 ?>
100                 <input type="radio" name="use_sign_lang" id="usl_yes" value="1" <?php echo $yes; ?> /><label for="usl_yes"><?php echo _AT('yes'); ?></label> 
101                 <input type="radio" name="use_sign_lang" id="usl_no" value="0" <?php echo $no; ?> /><label for="usl_no"><?php echo _AT('no'); ?></label>                
102         </div>
103
104         <div class="row">
105                 <label for="sign_lang"><?php echo _AT('sign_lang'); ?></label><br />
106                         <select name="sign_lang" id="sign_lang"><?php
107                                 if (isset($_POST['sign_lang']))
108                                         $selected_lang = $_POST['sign_lang'];
109                                 else
110                                         $selected_lang = $_SESSION['prefs']['PREF_SIGN_LANG'];
111 ?>
112                                 <option value="American-ASL" <?php if ($selected_lang == "American-ASL") echo 'selected="selected"'; ?>><?php echo _AT('american-asl'); ?></option>     
113                                 <option value="Australian-Auslan" <?php if ($selected_lang == "Australian-Auslan") echo 'selected="selected"'; ?>><?php echo _AT('australian-auslan'); ?></option>     
114                                 <option value="Austrian" <?php if ($selected_lang == "Austrian") echo 'selected="selected"'; ?>><?php echo _AT('austrian'); ?></option>     
115                                 <option value="British-BSL" <?php if ($selected_lang == "British-BSL") echo 'selected="selected"'; ?>><?php echo _AT('british-bsl'); ?></option>     
116                                 <option value="Danish-DSL" <?php if ($selected_lang == "Danish-DSL") echo 'selected="selected"'; ?>><?php echo _AT('danish-dsl'); ?></option>     
117                                 <option value="French-LSF" <?php if ($selected_lang == "French-LSF") echo 'selected="selected"'; ?>><?php echo _AT('french-lsf'); ?></option>     
118                                 <option value="German-DGS" <?php if ($selected_lang == "German-DGS") echo 'selected="selected"'; ?>><?php echo _AT('german-dgs'); ?></option>     
119                                 <option value="Irish-ISL" <?php if ($selected_lang == "Irish-ISL") echo 'selected="selected"'; ?>><?php echo _AT('irish-isl'); ?></option>     
120                                 <option value="Italian-LIS" <?php if ($selected_lang == "Italian-LIS") echo 'selected="selected"'; ?>><?php echo _AT('italian-lis'); ?></option>     
121                                 <option value="Japanese-JSL" <?php if ($selected_lang == "Japanese-JSL") echo 'selected="selected"'; ?>><?php echo _AT('japanese-jsl'); ?></option>     
122                                 <option value="Malaysian-MSL" <?php if ($selected_lang == "Malaysian-MSL") echo 'selected="selected"'; ?>><?php echo _AT('malaysian-msl'); ?></option>     
123                                 <option value="Mexican-LSM" <?php if ($selected_lang == "Mexican-LSM") echo 'selected="selected"'; ?>><?php echo _AT('mexican-lsm'); ?></option>     
124                                 <option value="Native-American" <?php if ($selected_lang == "Native-American") echo 'selected="selected"'; ?>><?php echo _AT('native-american'); ?></option>     
125                                 <option value="Norwegian-NSL" <?php if ($selected_lang == "Norwegian-NSL") echo 'selected="selected"'; ?>><?php echo _AT('norwegian-nsl'); ?></option>     
126                                 <option value="Russian-RSL" <?php if ($selected_lang == "Russian-RSL") echo 'selected="selected"'; ?>><?php echo _AT('russian-rsl'); ?></option>     
127                                 <option value="Quebec-LSQ" <?php if ($selected_lang == "Quebec-LSQ") echo 'selected="selected"'; ?>><?php echo _AT('quebec-lsq'); ?></option>     
128                                 <option value="Singapore-SLS" <?php if ($selected_lang == "Singapore-SLS") echo 'selected="selected"'; ?>><?php echo _AT('singapore-sls'); ?></option>     
129                                 <option value="Netherlands-NGT" <?php if ($selected_lang == "Netherlands-NGT") echo 'selected="selected"'; ?>><?php echo _AT('netherlands-ngt'); ?>Netherlands-NGT</option>     
130                                 <option value="Spanish-LSE" <?php if ($selected_lang == "Spanish-LSE") echo 'selected="selected"'; ?>><?php echo _AT('spanish-lse'); ?></option>     
131                                 <option value="Swedish" <?php if ($selected_lang == "Swedish") echo 'selected="selected"'; ?>><?php echo _AT('swedish'); ?></option>     
132                                 <option value="other" <?php if ($selected_lang == "other") echo 'selected="selected"'; ?>><?php echo _AT('other'); ?></option>   
133                         </select>
134         </div>
135 </fieldset>
136
137 <fieldset>
138 <legend><strong><?php echo _AT("described_video"); ?></strong> </legend>  
139
140         <div class="row">
141                 <?php echo _AT('use_video'); ?><br />
142                 <?php
143                         $yes = $no  = '';
144                         
145                         if (isset($_POST["use_video"]))
146                                 $selected_uv = $_POST["use_video"];
147                         else
148                                 $selected_uv = $_SESSION['prefs']['PREF_USE_VIDEO'];
149                                 
150                         if ($selected_uv == 1) {
151                                 $yes = ' checked="checked"';
152                         } else {
153                                 $no  = ' checked="checked"';
154                         }
155 ?>
156                 <input type="radio" name="use_video" id="uv_yes" value="1" <?php echo $yes; ?> /><label for="uv_yes"><?php echo _AT('yes'); ?></label> 
157                 <input type="radio" name="use_video" id="uv_no" value="0" <?php echo $no; ?> /><label for="uv_no"><?php echo _AT('no'); ?></label>              
158         </div>
159
160         <div class="row">
161                 <label for="prefer_lang"><?php echo _AT('prefer_lang'); ?></label><br />
162                         <select name="prefer_lang" id="prefer_lang"><?php
163                                 if (isset($_POST['prefer_lang']))
164                                         $selected_lang = $_POST['prefer_lang'];
165                                 else
166                                         $selected_lang = $_SESSION['prefs']['PREF_PREFER_LANG'];
167
168                                 output_language_options($this->languages, $selected_lang);
169 ?>
170                         </select>
171         </div>
172
173         <div class="row">
174                 <?php echo _AT('description_type'); ?><br />
175                 <?php
176                         $yes = $no  = '';
177                         
178                         if (isset($_POST["description_type"]))
179                                 $selected_dt = $_POST["description_type"];
180                         else
181                                 $selected_dt = $_SESSION['prefs']['PREF_DESC_TYPE'];
182 ?>
183                 <input type="radio" name="description_type" id="dt_s" value="standard" <?php if ($selected_dt == "standard" || $selected_dt == "") echo "checked=checked"; ?> /><label for="dt_s"><?php echo _AT('standard'); ?></label> 
184                 <input type="radio" name="description_type" id="dt_e" value="expanded" <?php if ($selected_dt == "expanded") echo "checked=checked"; ?> /><label for="dt_e"><?php echo _AT('expanded'); ?></label>              
185         </div>
186 </fieldset>
187
188 <fieldset>
189 <legend><strong><?php echo _AT("captioning"); ?></strong> </legend>  
190
191         <div class="row">
192                 <?php echo _AT('enable_captions'); ?><br />
193                 <?php
194                         $yes = $no  = '';
195                         
196                         if (isset($_POST["enable_captions"]))
197                                 $selected_ec = $_POST["enable_captions"];
198                         else
199                                 $selected_ec = $_SESSION['prefs']['PREF_ENABLE_CAPTIONS'];
200                                 
201                         if ($selected_ec == 1) {
202                                 $yes = ' checked="checked"';
203                         } else {
204                                 $no  = ' checked="checked"';
205                         }
206 ?>
207                 <input type="radio" name="enable_captions" id="ec_yes" value="1" <?php echo $yes; ?> /><label for="ec_yes"><?php echo _AT('yes'); ?></label> 
208                 <input type="radio" name="enable_captions" id="ec_no" value="0" <?php echo $no; ?> /><label for="ec_no"><?php echo _AT('no'); ?></label>                
209         </div>
210
211         <div class="row">
212                 <?php echo _AT('caption_type'); ?><br />
213                 <?php
214                         if (isset($_POST["caption_type"]))
215                                 $selected_ct = $_POST["caption_type"];
216                         else
217                                 $selected_ct = $_SESSION['prefs']['PREF_CAPTION_TYPE'];
218 ?>
219                 <input type="radio" name="caption_type" id="ct_v" value="verbatim" <?php if ($selected_ct == "verbatim" || $selected_ct == "") echo 'checked="checked"'; ?> /><label for="ct_v"><?php echo _AT('verbatim'); ?></label> 
220                 <input type="radio" name="caption_type" id="ct_r" value="reduced" <?php if ($selected_ct == "reduced") echo 'checked="checked"'; ?> /><label for="ct_r"><?php echo _AT('reduced_level'); ?></label>             
221         </div>
222
223         <div class="row">
224                 <label for="caption_lang"><?php echo _AT('caption_language'); ?></label><br />
225                         <select name="caption_lang" id="caption_lang"><?php
226                                 if (isset($_POST['caption_lang']))
227                                         $selected_lang = $_POST['caption_lang'];
228                                 else
229                                         $selected_lang = $_SESSION['prefs']['PREF_CAPTION_LANG'];
230
231                                 output_language_options($this->languages, $selected_lang);
232         ?>
233                         </select>
234         </div>
235
236         <div class="row">
237                 <?php echo _AT('enhanced_captions'); ?><br />
238                 <?php
239                         $yes = $no  = '';
240                         
241                         if (isset($_POST["enhanced_captions"]))
242                                 $selected_ec = $_POST["enhanced_captions"];
243                         else
244                                 $selected_ec = $_SESSION['prefs']['PREF_ENHANCED_CAPTIONS'];
245                                 
246                         if ($selected_ec == 1) {
247                                 $yes = ' checked="checked"';
248                         } else {
249                                 $no  = ' checked="checked"';
250                         }
251 ?>
252                 <input type="radio" name="enhanced_captions" id="ec1_yes" value="1" <?php echo $yes; ?> /><label for="ec1_yes"><?php echo _AT('yes'); ?></label> 
253                 <input type="radio" name="enhanced_captions" id="ec1_no" value="0" <?php echo $no; ?> /><label for="ec1_no"><?php echo _AT('no'); ?></label>            
254         </div>
255
256         <div class="row">
257                 <?php echo _AT('request_caption_rate'); ?><br />
258                 <?php
259                         $yes = $no  = '';
260                         
261                         if (isset($_POST["request_caption_rate"]))
262                                 $selected_rcr = $_POST["request_caption_rate"];
263                         else
264                                 $selected_rcr = $_SESSION['prefs']['PREF_REQUEST_CAPTION_RATE'];
265                                 
266                         if ($selected_rcr == 1) {
267                                 $yes = ' checked="checked"';
268                         } else {
269                                 $no  = ' checked="checked"';
270                         }
271 ?>
272                 <input type="radio" name="request_caption_rate" id="rcr_yes" value="1" <?php echo $yes; ?> /><label for="rcr_yes"><?php echo _AT('yes'); ?></label> 
273                 <input type="radio" name="request_caption_rate" id="rcr_no" value="0" <?php echo $no; ?> /><label for="rcr_no"><?php echo _AT('no'); ?></label>         
274         </div>
275
276         <div class="row">
277                 <?php echo _AT('caption_rate'); ?><br />
278                 <?php
279                         if (isset($_POST["caption_rate"]))
280                                 $selected_caption_rate = $_POST["caption_rate"];
281                         else if (isset($_SESSION['prefs']['PREF_CAPTION_RATE']))
282                                 $selected_caption_rate = $_SESSION['prefs']['PREF_CAPTION_RATE'];
283                         else
284                                 $selected_caption_rate = 200;    // set default
285 ?>
286                 <input type="text" name="caption_rate" id="caption_rate" size="30" value="<?php echo $selected_caption_rate; ?>" />
287         </div>
288 </fieldset>
289
290 //-->