diff options
Diffstat (limited to 'classes/pref/prefs.php')
| -rw-r--r-- | classes/pref/prefs.php | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/classes/pref/prefs.php b/classes/pref/prefs.php index db0a9de35..e717db938 100644 --- a/classes/pref/prefs.php +++ b/classes/pref/prefs.php @@ -554,8 +554,17 @@ class Pref_Prefs extends Handler_Protected { if (!theme_valid($value)) $value = "default.php"; - print_select($pref_name, $value, $themes, - 'dojoType="dijit.form.Select"'); + print "<select name='$pref_name' id='$pref_name' dojoType='dijit.form.Select'>"; + + $issel = $value == "default.php" ? "selected='selected'" : ""; + print "<option $issel value='default.php'>".__("default")."</option>"; + + foreach ($themes as $theme) { + $issel = $value == $theme ? "selected='selected'" : ""; + print "<option $issel value='$theme'>$theme</option>"; + } + + print "</select>"; } else if ($pref_name == "DEFAULT_UPDATE_INTERVAL") { |