users/display_settings.inc.php

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