users/tool_settings.inc.php

   1 <legend><strong><?php echo _AT("support_tools"); ?></strong>  </legend>
   2
   3 <div id="feedback" style="width:90%;">
   4 <?php echo _AT('prefs_set_tools'); ?></div>
   5         <div class="row">
   6 <?php
   7                         if (isset($_POST["dictionary_val"]))
   8                                 $dict_val = $_POST["dictionary_val"];
   9                         else
  10                                 $dict_val = $_SESSION['prefs']['PREF_DICTIONARY'];
  11
  12                         if ($dict_val == 1) $dict = ' checked ';
  13
  14                         if (isset($_POST["thesaurus_val"]))
  15                                 $thes_val = $_POST["thesaurus_val"];
  16                         else
  17                                 $thes_val = $_SESSION['prefs']['PREF_THESAURUS'];
  18
  19                         if ($thes_val == 1) $thes = ' checked ';
  20
  21                         if (isset($_POST["encyclopedia_val"]))
  22                                 $enc_val = $_POST["encyclopedia_val"];
  23                         else
  24                                 $enc_val = $_SESSION['prefs']['PREF_ENCYCLOPEDIA'];
  25
  26                         if ($enc_val == 1) $enc = ' checked ';
  27
  28                         if (isset($_POST["atlas_val"])){
  29
  30                                 $atla_val = $_POST["atlas_val"];
  31                         }else{
  32                                 $atla_val = $_SESSION['prefs']['PREF_ATLAS'];
  33                         }
  34                         if ($atla_val == 1) $atla = ' checked ';
  35
  36
  37                         if (isset($_POST["note_taking_val"]))
  38                                 $notes_val = $_POST["note_taking_val"];
  39                         else
  40                                 $notes_val = $_SESSION['prefs']['PREF_NOTE_TAKING'];
  41
  42                         if ($notes_val == 1) $notes = ' checked ';
  43
  44                         if (isset($_POST["calculator_val"]))
  45                                 $calc_val = $_POST["calculator_val"];
  46                         else
  47                                 $calc_val = $_SESSION['prefs']['PREF_CALCULATOR'];
  48
  49                         if ($calc_val == 1) $calc = ' checked ';
  50
  51                         if ($peer_val == 1) $peer = ' checked ';
  52
  53                         if (isset($_POST["abacus_val"]))
  54                                 $abac_val = $_POST["abacus_val"];
  55                         else
  56                                 $abac_val = $_SESSION['prefs']['PREF_ABACUS'];
  57
  58                         if ($abac_val == 1) $abac = ' checked ';
  59
  60 ?>
  61                 <input id="dict_val" name="dictionary_val" type="hidden" value="<?php echo $dict_val; ?>"  />
  62                 <input id="dict" name="dictionary" type="checkbox" checked="<?php echo $dict; ?>" onchange="changeVal('dict')" /><label for="dict"><?php echo _AT("dictionary"); ?></label><br />
  63
  64                 <input id="thes_val" name="thesaurus_val" type="hidden" value="<?php echo $thes_val; ?>" />
  65                 <input id="thes" name="thesaurus" type="checkbox" checked="<?php echo $thes; ?>" onchange="changeVal('thes')" /><label for="thes"><?php echo _AT("thesaurus"); ?></label><br />
  66
  67                 <input id="enc_val" name="encyclopedia_val" type="hidden" value="<?php echo $enc_val; ?>" />
  68                 <input id="enc" name="encyclopedia" type="checkbox" checked="<?php echo $enc; ?>" onchange="changeVal('enc')" /><label for="enc"><?php echo _AT("encyclopedia"); ?></label><br />
  69
  70                 <input id="atla_val" name="atlas_val" type="hidden" value="<?php echo $atla_val; ?>" />
  71                 <input id="atla" name="atlas" type="checkbox" checked="<?php echo $atla; ?>" onchange="changeVal('atla')" /><label for="atla"><?php echo _AT("atlas"); ?></label><br />
  72
  73                 <input id="notes_val" name="note_taking_val" type="hidden" value="<?php echo $notes_val; ?>" />
  74                 <input id="notes" name="note_taking" type="checkbox" checked="<?php echo $notes; ?>" onchange="changeVal('notes')" /><label for="notes"><?php echo _AT("note_taking"); ?></label><br />
  75
  76                 <input id="calc_val" name="calculator_val" type="hidden" value="<?php echo $calc_val; ?>" />
  77                 <input id="calc" name="calculator" type="checkbox" checked="<?php echo $calc; ?>" onchange="changeVal('calc')" /><label for="calc"><?php echo _AT("calculator"); ?></label><br />
  78 <!--
  79                 <input id="peer_val" name="peer_interaction_val" type="hidden" value="<?php echo $peer_val; ?>" />
  80                 <input id="peer" name="peer_interaction" type="checkbox" checked="<?php echo $peer; ?>" onchange="changeVal('peer')" /><label for="peer"><?php echo _AT("peer_interaction"); ?></label><br />-->
  81
  82                 <input id="abac_val" name="abacus_val" type="hidden" value="<?php echo $abac_val; ?>" />
  83                 <input id="abac" name="abacus" type="checkbox" checked="<?php echo $abac; ?>" onchange="changeVal('abac')" /><label for="abac"><?php echo _AT("abacus"); ?></label><br />
  84         </div>
  85
  86 <script language="javascript" type="text/javascript">
  87 //<!--
  88 function changeVal(val_name)
  89 {
  90         if (eval('document.getElementById("'+ val_name +'").checked'))
  91                 eval('document.getElementById("'+ val_name +'_val").value = 1');
  92         else
  93                 eval('document.getElementById("'+ val_name +'_val").value = 0');
  94 }
  95 //-->
  96 </script>