misc prefs tweaks

1 files changed, 7 insertions, 2 deletions

diff --git a/prefs.js b/prefs.js
index cc0a8e978..27a86c9d3 100644
--- a/prefs.js
+++ b/prefs.js
@@ -1270,8 +1270,13 @@ function validatePrefsReset() {
 			new Ajax.Request("backend.php", {
 				parameters: query,
 				onComplete: function(transport) { 
-					notify_info(transport.responseText);
-					selectTab();
+					var msg = transport.responseText;
+					if (msg.match("PREFS_THEME_CHANGED")) {
+						window.location.reload();
+					} else {
+						notify_info(msg);
+						selectTab();
+					}
 				} });
 
 		}