get_js_set_focus() added for standalone script usage.

[fa-stable.git] / admin / display_prefs.php

diff --git a/admin/display_prefs.php b/admin/display_prefs.php
index 01ee7b68202300383f7e7ca65bb8fb52c32769a3..cafb4527dbced802e896b8553edb2e7e7a4c2ee0 100644 (file)
--- a/admin/display_prefs.php
+++ b/admin/display_prefs.php
@@ -25,9 +25,11 @@ if (isset($_POST['setprefs']))
                $_POST['theme'], $_POST['page_size']);
 
        language::set_language($_POST['language']);
-       
+
+       flush_dir($comp_path.'/'.user_company().'/js_cache');   
+
        if (user_theme() != $theme)
-               Redirect("");
+               reload_page("");
 
        display_notification_centered(_("Display settings have been updated."));
 }