src/load_prefs.php

   1 <?php
   2    if (!isset($config_php))
   3       include("../config/config.php");
   4    if (!isset($prefs_php))
   5       include("../functions/prefs.php");
   6
   7    $load_prefs_php = true;
   8    checkForPrefs($data_dir, $username);
   9
  10    $chosen_theme = getPref($data_dir, $username, "chosen_theme");
  11
  12    if ((isset($chosen_theme)) && (file_exists($chosen_theme))) {
  13       require("$chosen_theme");
  14    } else {
  15       if (file_exists($theme[0]["PATH"])) {
  16          require($theme[0]["PATH"]);
  17       } else {
  18          echo _("Theme: ");
  19          echo $theme[0]["PATH"];
  20          echo _(" was not found.");
  21          echo "<BR>";
  22          echo _("Exiting abnormally");
  23          exit;
  24       }
  25    }
  26
  27
  28    /** Load the user's trash folder preferences **/
  29    $move_to_trash = getPref($data_dir, $username, "move_to_trash");
  30    if ($move_to_trash == "")
  31       $move_to_trash = $default_move_to_trash;
  32
  33    $wrap_at = getPref($data_dir, $username, "wrap_at");
  34    if ($wrap_at == "")
  35       $wrap_at = 86;
  36
  37    $left_size = getPref($data_dir, $username, "left_size");
  38    if ($left_size == "") {
  39       if (isset($default_left_size))
  40          $left_size = $default_left_size;
  41       else
  42          $left_size = 200;
  43    }
  44
  45    $folder_prefix = getPref($data_dir, $username, "folder_prefix");
  46    if ($folder_prefix == "")
  47       $folder_prefix = $default_folder_prefix;
  48
  49    $editor_size = getPref($data_dir, $username, "editor_size");
  50    if ($editor_size == "")
  51       $editor_size = 76;
  52
  53    $use_signature = getPref($data_dir, $username, "use_signature");
  54    if ($use_signature == "")
  55       $use_signature = false;
  56
  57    $left_refresh = getPref($data_dir, $username, "left_refresh");
  58    if ($left_refresh == "")
  59       $left_refresh = false;
  60
  61    /** Load up the Signature file **/
  62    if ($use_signature == true) {
  63       $signature = getSig($data_dir, $username);
  64    } else {
  65    }
  66 ?>