prefs: reload on user theme change

1 files changed, 14 insertions, 11 deletions

diff --git a/classes/pref/prefs.php b/classes/pref/prefs.php
index e717db938..ac3eae13f 100644
--- a/classes/pref/prefs.php
+++ b/classes/pref/prefs.php
@@ -101,20 +101,23 @@ class Pref_Prefs extends Handler_Protected {
 
 			$value = $_POST[$pref_name];
 
-			if ($pref_name == 'DIGEST_PREFERRED_TIME') {
-				if (get_pref('DIGEST_PREFERRED_TIME') != $value) {
+			switch ($pref_name) {
+				case 'DIGEST_PREFERRED_TIME':
+					if (get_pref('DIGEST_PREFERRED_TIME') != $value) {
 
-					$sth = $this->pdo->prepare("UPDATE ttrss_users SET
+						$sth = $this->pdo->prepare("UPDATE ttrss_users SET
 						last_digest_sent = NULL WHERE id = ?");
-					$sth->execute([$_SESSION['uid']]);
-
-				}
-			}
+						$sth->execute([$_SESSION['uid']]);
 
-			if ($pref_name == "USER_LANGUAGE") {
-				if ($_SESSION["language"] != $value) {
-					$need_reload = true;
-				}
+					}
+					break;
+				case 'USER_LANGUAGE':
+					if (!$need_reload) $need_reload = $_SESSION["language"] != $value;
+					break;
+
+				case 'USER_CSS_THEME':
+					if (!$need_reload) $need_reload = get_pref($pref_name) != $value;
+					break;
 			}
 
 			set_pref($pref_name, $value);