echo '<br><b>'._("Successfully saved personal information!").'</b><br>';
} else if (isset($submit_display)) {
echo '<br><b>'._("Successfully saved personal information!").'</b><br>';
} else if (isset($submit_display)) {
- setPref($data_dir, $username, 'chosen_theme', $chosentheme);
- setPref($data_dir, $username, 'language', $language);
- setPref($data_dir, $username, 'use_javascript_addr_book', $javascript_abook);
+ setPref($data_dir, $username, 'chosen_theme', $new_chosen_theme);
+ setPref($data_dir, $username, 'language', $new_language);
+ setPref($data_dir, $username, 'use_javascript_addr_book', $new_use_javascript_addr_book);
setPref($data_dir, $username, 'javascript_setting', $new_javascript_setting);
setPref($data_dir, $username, 'show_num', $new_show_num);
setPref($data_dir, $username, 'wrap_at', $new_wrap_at);
setPref($data_dir, $username, 'editor_size', $new_editor_size);
setPref($data_dir, $username, 'javascript_setting', $new_javascript_setting);
setPref($data_dir, $username, 'show_num', $new_show_num);
setPref($data_dir, $username, 'wrap_at', $new_wrap_at);
setPref($data_dir, $username, 'editor_size', $new_editor_size);
setPref($data_dir, $username, 'location_of_buttons', $new_location_of_buttons);
setPref($data_dir, $username, 'location_of_bar', $new_location_of_bar);
setPref($data_dir, $username, 'location_of_buttons', $new_location_of_buttons);
setPref($data_dir, $username, 'location_of_bar', $new_location_of_bar);
- setPref($data_dir, $username, 'left_size', $leftsize);
+ setPref($data_dir, $username, 'left_size', $new_left_size);
+ setPref($data_dir, $username, 'left_refresh', $new_left_refresh);
if (isset($altIndexColors) && $altIndexColors == 1) {
setPref($data_dir, $username, 'alt_index_colors', 1);
if (isset($altIndexColors) && $altIndexColors == 1) {
setPref($data_dir, $username, 'alt_index_colors', 1);