diff options
author | Andrew Dolgov <[email protected]> | 2018-12-06 14:49:33 +0300 |
---|---|---|
committer | Andrew Dolgov <[email protected]> | 2018-12-06 14:49:33 +0300 |
commit | 15d05e8a26991dd7435b17c6a43cb60cf1175947 (patch) | |
tree | 05c9aa159f87729f6fef2d0ab8cdd3e23d528fa9 /classes/pref | |
parent | d2d2cb7e7dd25f8257f467806da6843aca95a9cb (diff) |
night.css: do not import default less theme statically
remove themes/default.php (not needed)
compact.css: fixes
Diffstat (limited to 'classes/pref')
-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") { |