X-Git-Url: https://vcs.fsf.org/?a=blobdiff_plain;f=src%2Foptions.php;h=8b38ad2ba57a669eda76a91b95132f492172fabd;hb=485599c7720227664225597367495fd781c691b9;hp=5710f0d06aa11363695305e13fc5acb8c4dcc9aa;hpb=441f2d33bad826a0278aafe63e58d0b3c81b6e0c;p=squirrelmail.git
diff --git a/src/options.php b/src/options.php
index 5710f0d0..8b38ad2b 100644
--- a/src/options.php
+++ b/src/options.php
@@ -8,14 +8,15 @@
** Displays the options page. Pulls from proper user preference files
** and config.php. Displays preferences as selected and other options.
**
+ ** $Id$
**/
session_start();
- if (!isset($config_php))
- include("../config/config.php");
if (!isset($strings_php))
include("../functions/strings.php");
+ if (!isset($config_php))
+ include("../config/config.php");
if (!isset($page_header_php))
include("../functions/page_header.php");
if (!isset($display_messages_php))
@@ -46,7 +47,7 @@
"._("Successfully saved personal information!")."
";
- } else if ($submit_display) {
+ } else if (isset($submit_display)) {
# Save display preferences
setPref($data_dir, $username, "chosen_theme", $chosentheme);
setPref($data_dir, $username, "show_num", $shownum);
@@ -72,13 +73,9 @@
do_hook("options_display_save");
- echo "";
- } else if ($submit_folder) {
+ echo "" . _("Refresh Page") . "
";
+ } else if (isset($submit_folder)) {
# Save folder preferences
if ($trash != "none") {
setPref($data_dir, $username, "move_to_trash", true);
@@ -98,12 +95,8 @@
setPref($data_dir, $username, "unseen_notify", $unseennotify);
setPref($data_dir, $username, "unseen_type", $unseentype);
do_hook("options_folders_save");
- echo "";
+ echo "" . _("Refresh Folder List") . "
";
} else {
do_hook("options_save");
}