src/load_prefs.php

   1 <?
   2    include("../config/config.php");
   3    include("../functions/prefs.php");
   4
   5    checkForPrefs($data_dir, $username);
   6
   7    $chosen_theme = getPref($data_dir, $username, "chosen_theme");
   8
   9    if ((isset($chosen_theme)) && (file_exists($chosen_theme))) {
  10       require("$chosen_theme");
  11    } else {
  12       if (file_exists($theme[0]["PATH"])) {
  13          require($theme[0]["PATH"]);
  14       } else {
  15          echo "Theme: " . $theme[0]["PATH"] . " was not found.<BR>";
  16          echo "Exiting abnormally";
  17          exit;
  18       }
  19    }
  20
  21
  22    /** Load the user's trash folder preferences **/
  23    $move_to_trash = getPref($data_dir, $username, "move_to_trash");
  24    if ($move_to_trash == "")
  25       $move_to_trash = $default_move_to_trash;
  26
  27    $wrap_at = getPref($data_dir, $username, "wrap_at");
  28    if ($wrap_at == "")
  29       $wrap_at = 86;
  30
  31    $editor_size = getPref($data_dir, $username, "editor_size");
  32    if ($editor_size == "")
  33       $editor_size = 76;
  34 ?>
  35