$username = ( !isset($username) ? '' : $username );
-global $theme, $chosen_theme, $color;
+global $theme, $chosen_theme, $color, $custom_css;
+
+$custom_css = getPref($data_dir, $username, 'custom_css', 'none' );
+
$theme = ( !isset($theme) ? array() : $theme );
$color = ( !isset($color) ? array() : $color );
-$chosen_theme = getPref($data_dir, $username, "chosen_theme");
+$chosen_theme = getPref($data_dir, $username, 'chosen_theme');
$found_theme = false;
for ($i = 0; $i < count($theme); ++$i){
if ($theme[$i]['PATH'] == $chosen_theme) {
$color[9] = '#ABABAB'; /* mid-gray Darker version of #0 */
$color[10] = '#666666'; /* dark gray Darker version of #9 */
$color[11] = '#770000'; /* dark red Special Folders color */
+ $color[12] = '#EDEDED';
+ $color[15] = '#002266'; /* (dark blue) Unselectable folders */
}
}
getPref($data_dir, $username, 'javascript_setting', SMPREF_JS_AUTODETECT);
$javascript_on = getPref($data_dir, $username, 'javascript_on', SMPREF_ON);
+global $search_memory;
+$search_memory = getPref($data_dir, $username, 'search_memory', 0);
+
do_hook('loading_prefs');
-?>
+?>
\ No newline at end of file