1 <?php global $_stacks; global $system_courses; ?>
2 <form action="<?php echo $_SERVER['PHP_SELF']; ?>" method="post" name="prefs">
3 <div class="input-form" style="width:90%">
4 <fieldset class="group_form"><legend class="group_form"><?php echo _AT('side_menu'); ?></legend>
6 <p><?php echo _AT('side_menu_text'); ?></p>
11 $num_stack = count($_stacks);
12 $side_menu = explode("|", $system_courses[$_SESSION['course_id']]['side_menu']);
14 for ($i=0; $i<$num_stack; $i++) {
15 echo '<select name="stack['.$i.']">';
16 echo '<option value=""></option>';
17 foreach ($_stacks as $name=>$info) {
18 if (isset($info['title'])) {
19 $title = $info['title'];
21 $title = _AT($info['title_var']);
23 echo '<option value="'.$name.'"';
24 if (isset($side_menu[$i]) && ($name == $side_menu[$i])) {
25 echo ' selected="selected"';
27 echo '>'.$title.'</option>';
35 <input type="submit" name="submit" value="<?php echo _AT('apply'); ?>" accesskey="s" />
36 <input type="submit" name="cancel" value="<?php echo _AT('cancel'); ?>" />