From b16c57d29c1aa304716ae524cdc74a957a50763c Mon Sep 17 00:00:00 2001 From: Andrew Dolgov Date: Wed, 5 Dec 2018 16:37:09 +0300 Subject: [PATCH] replace plugin.png with scalable icon --- classes/pref/prefs.php | 8 ++++---- css/default.css | 9 ++++++++- css/default.css.map | 2 +- css/defines.less | 3 ++- css/prefs.less | 14 ++++++++++++-- themes/night.css | 9 ++++++++- themes/night.css.map | 2 +- 7 files changed, 36 insertions(+), 11 deletions(-) diff --git a/classes/pref/prefs.php b/classes/pref/prefs.php index 5a42884c7..2d15c2489 100644 --- a/classes/pref/prefs.php +++ b/classes/pref/prefs.php @@ -746,9 +746,9 @@ class Pref_Prefs extends Handler_Protected { dojoType=\"dijit.form.CheckBox\" $checked type=\"checkbox\">"; - $plugin_icon = $checked ? "plugin.png" : "plugin_disabled.png"; + $icon_class = $checked ? "plugin-enabled" : "plugin-disabled"; - print ""; + print ""; print "" . htmlspecialchars($about[1]); if (@$about[4]) { print " — "; - $plugin_icon = $checked ? "plugin.png" : "plugin_disabled.png"; + $icon_class = $checked ? "plugin-enabled" : "plugin-disabled"; print ""; - print ""; + print ""; print ""; if (@$about[4]) { print " —