users/display_settings.inc.php

   1 <legend><strong><?php echo _AT("text"); ?></strong> </legend>
   2 <div id="feedback">
   3 <?php echo _AT('prefs_set_display'); ?>
   4 </div>
   5 <div id="defaultfontsize-wrapper">
   6         <div class="row">
   7                 <input type="hidden" id="defaultfontface" value="Verdana" />
   8                 <label for="fontface"><?php echo _AT('font_face'); ?></label><br />
   9                         <select name="fontface" id="fontface" onchange="setPreviewFace()"><?php
  10                                 if (isset($_POST['fontface']))
  11                                         $selected_ff = $_POST['fontface'];
  12                                 else if (isset($_SESSION['prefs']['PREF_FONT_FACE']))
  13                                         $selected_ff = $_SESSION['prefs']['PREF_FONT_FACE'];
  14                                 else
  15                                         $selected_ff = "";  // default
  16 ?>
  17                                 <option value="" <?php if ($selected_ff == "") echo 'selected="selected"'; ?>><?php echo _AT('default'); ?></option>
  18                                 <option value="serif" <?php if ($selected_ff == "serif") echo 'selected="selected"'; ?>><?php echo _AT('serif'); ?></option>
  19                                 <option value="sans-serif" <?php if ($selected_ff == "sans-serif") echo 'selected="selected"'; ?>><?php echo _AT('sans_serif'); ?></option>
  20                                 <option value="monospace" <?php if ($selected_ff == "monospace") echo 'selected="selected"'; ?>><?php echo _AT('monospaced'); ?></option>
  21                                 <option value="cursive" <?php if ($selected_ff == "cursive") echo 'selected="selected"'; ?>><?php echo _AT('cursive'); ?></option>
  22                                 <option value="fantasy" <?php if ($selected_ff == "fantasy") echo 'selected="selected"'; ?>><?php echo _AT('fantasy'); ?></option>
  23                         </select>
  24         </div>
  25
  26         <div class="row">
  27                 <input type="hidden" id="defaultfontsize" value="12" />
  28                 <label for="font_times"><?php echo _AT('font_size'); ?></label><br />
  29                         <select name="font_times" id="font_times" onchange="setPreviewSize()">
  30 <?php
  31                                 if (isset($_POST['font_times']))
  32                                         $selected_fs = $_POST['font_times'];
  33                                 else if (isset($_SESSION['prefs']['PREF_FONT_TIMES']))
  34                                         $selected_fs = $_SESSION['prefs']['PREF_FONT_TIMES'];
  35                                 else
  36                                         $selected_fs = "1";   // default
  37
  38 ?>
  39                                 <option value=".8" <?php if ($selected_fs == ".8") echo 'selected="selected"'; ?>><?php echo _AT('default'); ?></option>
  40                                 <option value="1.5" <?php if ($selected_fs == "1.5") echo 'selected="selected"'; ?>>1.5X</option>
  41                                 <option value="2" <?php if ($selected_fs == "2") echo 'selected="selected"'; ?>>2X</option>
  42                                 <option value="2.5" <?php if ($selected_fs == "2.5") echo 'selected="selected"'; ?>>2.5X</option>
  43                                 <option value="3" <?php if ($selected_fs == "3") echo 'selected="selected"'; ?>>3X</option>
  44                         </select>
  45         </div>
  46
  47         <div class="row">
  48                 <input type="hidden" id="defaultfg" value="000000" />
  49                 <label for="fg"><?php echo _AT('fg_colour'); ?></label><br />
  50                         <select name="fg" id="fg" onchange="setPreviewColours()">
  51 <?php
  52                                 if (isset($_POST['fg']))
  53                                         $selected_fgc = $_POST['fg'];
  54                                 else if (isset($_SESSION['prefs']['PREF_FG_COLOUR']))
  55                                         $selected_fgc = $_SESSION['prefs']['PREF_FG_COLOUR'];
  56                                 else
  57                                         $selected_fgc = "";  // default
  58 ?>
  59                                 <option value="" <?php if ($selected_fgc == "") echo 'selected="selected"'; ?>><?php echo _AT('default'); ?></option>
  60                                 <option value="FFFFFF" <?php if ($selected_fgc == "FFFFFF") echo 'selected="selected"'; ?>><?php echo _AT('white'); ?></option>
  61                                 <option value="000000" <?php if ($selected_fgc == "000000") echo 'selected="selected"'; ?>><?php echo _AT('black'); ?></option>
  62                                 <option value="FF0000" <?php if ($selected_fgc == "FF0000") echo 'selected="selected"'; ?>><?php echo _AT('red'); ?></option>
  63                                 <option value="FFFF00" <?php if ($selected_fgc == "FFFF00") echo 'selected="selected"'; ?>><?php echo _AT('yellow'); ?></option>
  64                                 <option value="0000FF" <?php if ($selected_fgc == "0000FF") echo 'selected="selected"'; ?>><?php echo _AT('blue'); ?></option>
  65                                 <option value="00FF00" <?php if ($selected_fgc == "00FF00") echo 'selected="selected"'; ?>><?php echo _AT('green'); ?></option>
  66                                 <option value="999999" <?php if ($selected_fgc == "999999") echo 'selected="selected"'; ?>><?php echo _AT('gray'); ?></option>
  67                                 <option value="CCCCCC" <?php if ($selected_fgc == "CCCCCC") echo 'selected="selected"'; ?>><?php echo _AT('light_gray'); ?></option>
  68                                 <option value="666666" <?php if ($selected_fgc == "666666") echo 'selected="selected"'; ?>><?php echo _AT('dark_gray'); ?></option>
  69                                 <option value="FFCCCC" <?php if ($selected_fgc == "FFCCCC") echo 'selected="selected"'; ?>><?php echo _AT('pink'); ?></option>
  70                                 <option value="00FFFF" <?php if ($selected_fgc == "00FFFF") echo 'selected="selected"'; ?>><?php echo _AT('cyan'); ?></option>
  71                                 <option value="FF00FF" <?php if ($selected_fgc == "FF00FF") echo 'selected="selected"'; ?>><?php echo _AT('magenta'); ?></option>
  72                         </select>
  73         </div>
  74
  75         <div class="row">
  76                 <input type="hidden" id="defaultbg" value="FFFFFF" />
  77                 <label for="bg"><?php echo _AT('bg_colour'); ?></label><br />
  78                         <select name="bg" id="bg" onchange="setPreviewColours()">
  79 <?php
  80                                 if (isset($_POST['bg']))
  81                                         $selected_bgc = $_POST['bg'];
  82                                 else if (isset($_SESSION['prefs']['PREF_BG_COLOUR']))
  83                                         $selected_bgc = $_SESSION['prefs']['PREF_BG_COLOUR'];
  84                                 else
  85                                         $selected_bgc = "";  // default
  86 ?>
  87                                 <option value="" <?php if ($selected_bgc == "") echo 'selected="selected"'; ?>><?php echo _AT('default'); ?></option>
  88                                 <option value="FFFFFF" <?php if ($selected_bgc == "FFFFFF") echo 'selected="selected"'; ?>><?php echo _AT('white'); ?></option>
  89                                 <option value="000000" <?php if ($selected_bgc == "000000") echo 'selected="selected"'; ?>><?php echo _AT('black'); ?></option>
  90                                 <option value="FF0000" <?php if ($selected_bgc == "FF0000") echo 'selected="selected"'; ?>><?php echo _AT('red'); ?></option>
  91                                 <option value="FFFF00" <?php if ($selected_bgc == "FFFF00") echo 'selected="selected"'; ?>><?php echo _AT('yellow'); ?></option>
  92                                 <option value="0000FF" <?php if ($selected_bgc == "0000FF") echo 'selected="selected"'; ?>><?php echo _AT('blue'); ?></option>
  93                                 <option value="00FF00" <?php if ($selected_bgc == "00FF00") echo 'selected="selected"'; ?>><?php echo _AT('green'); ?></option>
  94                                 <option value="999999" <?php if ($selected_bgc == "999999") echo 'selected="selected"'; ?>><?php echo _AT('gray'); ?></option>
  95                                 <option value="CCCCCC" <?php if ($selected_bgc == "CCCCCC") echo 'selected="selected"'; ?>><?php echo _AT('light_gray'); ?></option>
  96                                 <option value="666666" <?php if ($selected_bgc == "666666") echo 'selected="selected"'; ?>><?php echo _AT('dark_gray'); ?></option>
  97                                 <option value="FFCCCC" <?php if ($selected_bgc == "FFCCCC") echo 'selected="selected"'; ?>><?php echo _AT('pink'); ?></option>
  98                                 <option value="00FFFF" <?php if ($selected_bgc == "00FFFF") echo 'selected="selected"'; ?>><?php echo _AT('cyan'); ?></option>
  99                                 <option value="FF00FF" <?php if ($selected_bgc == "FF00FF") echo 'selected="selected"'; ?>><?php echo _AT('magenta'); ?></option>
 100                         </select>
 101         </div>
 102
 103         <div class="row">
 104                 <input type="hidden" id="defaulthl" value="E6E6E6" />
 105                 <label for="hl"><?php echo _AT('hl_colour'); ?></label><br />
 106                         <select name="hl" id="hl" onchange="setPreviewColours()">
 107 <?php
 108                                 if (isset($_POST['hl']))
 109                                         $selected_hlc = $_POST['hl'];
 110                                 else if (isset($_SESSION['prefs']['PREF_HL_COLOUR']))
 111                                         $selected_hlc = $_SESSION['prefs']['PREF_HL_COLOUR'];
 112                                 else
 113                                         $selected_hlc = "";  // default
 114 ?>
 115                                 <option value="" <?php if ($selected_hlc == "") echo 'selected="selected"'; ?>><?php echo _AT('default'); ?></option>
 116                                 <option value="FFFFFF" <?php if ($selected_hlc == "FFFFFF") echo 'selected="selected"'; ?>><?php echo _AT('white'); ?></option>
 117                                 <option value="000000" <?php if ($selected_hlc == "000000") echo 'selected="selected"'; ?>><?php echo _AT('black'); ?></option>
 118                                 <option value="FF0000" <?php if ($selected_hlc == "FF0000") echo 'selected="selected"'; ?>><?php echo _AT('red'); ?></option>
 119                                 <option value="FFFF00" <?php if ($selected_hlc == "FFFF00") echo 'selected="selected"'; ?>><?php echo _AT('yellow'); ?></option>
 120                                 <option value="0000FF" <?php if ($selected_hlc == "0000FF") echo 'selected="selected"'; ?>><?php echo _AT('blue'); ?></option>
 121                                 <option value="00FF00" <?php if ($selected_hlc == "00FF00") echo 'selected="selected"'; ?>><?php echo _AT('green'); ?></option>
 122                                 <option value="999999" <?php if ($selected_hlc == "999999") echo 'selected="selected"'; ?>><?php echo _AT('gray'); ?></option>
 123                                 <option value="CCCCCC" <?php if ($selected_hlc == "CCCCCC") echo 'selected="selected"'; ?>><?php echo _AT('light_gray'); ?></option>
 124                                 <option value="666666" <?php if ($selected_hlc == "666666") echo 'selected="selected"'; ?>><?php echo _AT('dark_gray'); ?></option>
 125                                 <option value="FFCCCC" <?php if ($selected_hlc == "FFCCCC") echo 'selected="selected"'; ?>><?php echo _AT('pink'); ?></option>
 126                                 <option value="00FFFF" <?php if ($selected_hlc == "00FFFF") echo 'selected="selected"'; ?>><?php echo _AT('cyan'); ?></option>
 127                                 <option value="FF00FF" <?php if ($selected_hlc == "FF00FF") echo 'selected="selected"'; ?>><?php echo _AT('magenta'); ?></option>
 128                         </select>
 129         </div>
 130 </div>
 131 <div id="display-settings-preview">
 132         <div id="previewArea">
 133                 <div id="previewText">Sample
 134                         <span id="highlightedPreview" style="background-color: rgb(0, 255, 0); font-family: monospace;">Highlighted</span> Text
 135                 </div>
 136         </div>
 137 </div>
 138 <br  style="clear:both;" />