preferences: set themes dropdown to default if selected theme is missing

This commit is contained in:
Andrew Dolgov 2017-01-26 22:37:22 +03:00
parent 7d9aac9afa
commit 22387de225

View file

@ -570,6 +570,8 @@ class Pref_Prefs extends Handler_Protected {
$themes = array_filter($themes, "theme_valid"); $themes = array_filter($themes, "theme_valid");
asort($themes); asort($themes);
if (!theme_valid($value)) $value = "default.php";
print_select($pref_name, $value, $themes, print_select($pref_name, $value, $themes,
'dojoType="dijit.form.Select"'); 'dojoType="dijit.form.Select"');