";
- echo " ";
- echo " ";
- echo " Theme:";
- echo " ";
- echo " | ";
- echo " ";
+"._("Successfully saved personal information!")." ";
+ } else if (isset($submit_display)) {
+ # Save display preferences
+ setPref($data_dir, $username, "chosen_theme", $chosentheme);
+ setPref($data_dir, $username, "show_num", $shownum);
+ setPref($data_dir, $username, "wrap_at", $wrapat);
+ setPref($data_dir, $username, "editor_size", $editorsize);
+ setPref($data_dir, $username, "left_refresh", $leftrefresh);
+ setPref($data_dir, $username, "language", $language);
+ setPref($data_dir, $username, 'location_of_bar', $folder_new_location);
+ setPref($data_dir, $username, 'location_of_buttons', $button_new_location);
+ setPref($data_dir, $username, "left_size", $leftsize);
+ setPref($data_dir, $username, "use_javascript_addr_book", $javascript_abook);
+
+ do_hook("options_display_save");
- echo " ";
- echo " | ";
- echo "
";
-
- echo "\n";
-
-
- // SUBMIT BUTTON
- echo "