made a copy
[atutor.git] / users / control_settings.inc.php
1 <fieldset>
2 <legend><strong><?php echo _AT("navigation"); ?></strong> </legend>  
3
4         <div class="row">
5                 <?php echo _AT('show_contents'); ?><br />
6                 <?php
7                         $yes = $no  = '';
8                         
9                         if (isset($_POST["show_contents"]))
10                                 $selected_sc = $_POST["show_contents"];
11                         else
12                                 $selected_sc = $_SESSION['prefs']['PREF_SHOW_CONTENTS'];
13                                 
14                         if ($selected_sc == 1) {
15                                 $yes = ' checked="checked"';
16                         } else {
17                                 $no  = ' checked="checked"';
18                         }
19 ?>
20                 <input type="radio" name="show_contents" id="sc_yes" value="1" <?php echo $yes; ?> /><label for="sc_yes"><?php echo _AT('yes'); ?></label>
21                 <input type="radio" name="show_contents" id="sc_no" value="0" <?php echo $no; ?> /><label for="sc_no"><?php echo _AT('no'); ?></label>
22         </div>
23
24         <div class="row">
25                 <?php echo _AT('show_next_previous_buttons'); ?><br />
26                 <?php
27                         $yes = $no = '';
28                         
29                         if (isset($_POST["show_next_previous_buttons"]))
30                                 $selected_snpb = $_POST["show_next_previous_buttons"];
31                         else
32                                 $selected_snpb = $_SESSION['prefs']['PREF_SHOW_NEXT_PREVIOUS_BUTTONS'];
33                                 
34                         if ($selected_snpb == 1) {
35                                 $yes = ' checked="checked"';
36                         } else {
37                                 $no = ' checked="checked"';
38                         }
39 ?>
40                 <input type="radio" name="show_next_previous_buttons" id="snpb_yes" value="1" <?php echo $yes; ?> /><label for="snpb_yes"><?php echo _AT('yes'); ?></label>
41                 <input type="radio" name="show_next_previous_buttons" id="snpb_no" value="0" <?php echo $no; ?> /><label for="snpb_no"><?php echo _AT('no'); ?></label>
42         </div>
43
44         <div class="row">
45                 <?php echo _AT('show_bread_crumbs'); ?><br />
46                 <?php
47                         $yes = $no  = '';
48                         
49                         if (isset($_POST["show_bread_crumbs"]))
50                                 $selected_sbc = $_POST["show_bread_crumbs"];
51                         else
52                                 $selected_sbc = $_SESSION['prefs']['PREF_SHOW_BREAD_CRUMBS'];
53                                 
54                         if ($selected_sbc == 1) {
55                                 $yes = ' checked="checked"';
56                         } else {
57                                 $no  = ' checked="checked"';
58                         }
59 ?>
60                 <input type="radio" name="show_bread_crumbs" id="sbc_yes" value="1" <?php echo $yes; ?> /><label for="sbc_yes"><?php echo _AT('yes'); ?></label>
61                 <input type="radio" name="show_bread_crumbs" id="sbc_no" value="0" <?php echo $no; ?> /><label for="sbc_no"><?php echo _AT('no'); ?></label>
62         </div>
63 </fieldset>
64