From 22387de225d403eea25377c7dfc43971407c0f76 Mon Sep 17 00:00:00 2001
From: Andrew Dolgov <noreply@fakecake.org>
Date: Thu, 26 Jan 2017 22:37:22 +0300
Subject: [PATCH] preferences: set themes dropdown to default if selected theme
 is missing

---
 classes/pref/prefs.php | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/classes/pref/prefs.php b/classes/pref/prefs.php
index bf4d6e42e..18ffcc720 100644
--- a/classes/pref/prefs.php
+++ b/classes/pref/prefs.php
@@ -570,6 +570,8 @@ class Pref_Prefs extends Handler_Protected {
 				$themes = array_filter($themes, "theme_valid");
 				asort($themes);
 
+				if (!theme_valid($value)) $value = "default.php";
+
 				print_select($pref_name, $value, $themes,
 					'dojoType="dijit.form.Select"');