From 04128c7870c7aebe619cdb76a53a76ee8cd8e924 Mon Sep 17 00:00:00 2001 From: Andrew Dolgov Date: Thu, 4 Mar 2021 15:52:37 +0300 Subject: [PATCH] add search to plugin installer --- classes/pref/prefs.php | 16 +++++++--- js/PrefHelpers.js | 60 +++++++++++++++++++++++++++-------- themes/compact.css | 10 +++++- themes/compact_night.css | 10 +++++- themes/light.css | 10 +++++- themes/light/dijit_basic.less | 11 +++++-- themes/light/tt-rss.less | 5 +++ themes/night.css | 10 +++++- themes/night_blue.css | 10 +++++- 9 files changed, 116 insertions(+), 26 deletions(-) diff --git a/classes/pref/prefs.php b/classes/pref/prefs.php index 89783bd38..1ba8ff3c4 100644 --- a/classes/pref/prefs.php +++ b/classes/pref/prefs.php @@ -802,7 +802,7 @@ class Pref_Prefs extends Handler_Protected { if ($about[3] ?? false) { $is_checked = in_array($name, $system_enabled) ? "checked" : ""; ?> -
+