d3cdb279 |
1 | <? |
d0747e26 |
2 | include("../config/config.php"); |
d3cdb279 |
3 | include("../functions/prefs.php"); |
4 | |
b4da6659 |
5 | checkForPrefs($data_dir, $username); |
6 | |
d0747e26 |
7 | $chosen_theme = getPref($data_dir, $username, "chosen_theme"); |
d3cdb279 |
8 | |
f3d17401 |
9 | if ((isset($chosen_theme)) && (file_exists($chosen_theme))) { |
d3cdb279 |
10 | require("$chosen_theme"); |
11 | } else { |
f3d17401 |
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 | } |
d3cdb279 |
19 | } |
11307a4c |
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 | |