From fe3b1511f65b3b9f32e9c67b7abd347b617fb3bc Mon Sep 17 00:00:00 2001 From: tophf Date: Wed, 22 Nov 2017 17:21:50 +0300 Subject: [PATCH] add "[x] only Usercss" filter in the manager --- js/prefs.js | 2 ++ manage.html | 9 +++++++++ manage/manage.js | 3 ++- 3 files changed, 13 insertions(+), 1 deletion(-) diff --git a/js/prefs.js b/js/prefs.js index 09260bbe..aeeffd56 100644 --- a/js/prefs.js +++ b/js/prefs.js @@ -19,8 +19,10 @@ var prefs = new function Prefs() { 'manage.onlyEnabled': false, // display only enabled styles 'manage.onlyLocal': false, // display only styles created locally + 'manage.onlyUsercss': false, // display only usercss styles 'manage.onlyEnabled.invert': false, // display only disabled styles 'manage.onlyLocal.invert': false, // display only externally installed styles + 'manage.onlyUsercss.invert': false, // display only non-usercss (standard) styles 'manage.newUI': true, // use the new compact layout 'manage.newUI.favicons': false, // show favicons for the sites in applies-to 'manage.newUI.faviconsGray': true, // gray out favicons diff --git a/manage.html b/manage.html index 1ccd87f6..bb40e490 100644 --- a/manage.html +++ b/manage.html @@ -180,6 +180,15 @@ +