From 008e33254d05b6dd50d3f460d7e4f42a96b73030 Mon Sep 17 00:00:00 2001 From: tophf Date: Fri, 20 Nov 2020 17:00:20 +0300 Subject: [PATCH] add option to use sliders in manager and popup --- _locales/en/messages.json | 7 ++++++ js/prefs.js | 2 ++ manage.html | 21 ++++++++++++---- manage/config-dialog.css | 4 +++ manage/manage.css | 28 ++++++++++++++------- manage/manage.js | 38 +++++++++++++++++++++++----- options.html | 27 ++++++++++++++------ options/onoffswitch.css | 52 +++++++++++++++++++++++++++++++++++++++ popup.html | 17 +++++++++++-- popup/hotkeys.js | 6 ++--- popup/popup.css | 33 ++++++++++++++----------- popup/popup.js | 17 ++++++------- 12 files changed, 197 insertions(+), 55 deletions(-) diff --git a/_locales/en/messages.json b/_locales/en/messages.json index 3b59a07a..8033e399 100644 --- a/_locales/en/messages.json +++ b/_locales/en/messages.json @@ -475,6 +475,10 @@ "message": "Title", "description": "Used in various parts of the UI to indicate the title of something" }, + "genericUI": { + "message": "UI", + "description": "UI = User Interface, this label is used to label generic UI-related stuff" + }, "genericUnknown": { "message": "Unknown", "description": "Used in various parts of the UI to indicate if something is unknown (e.g. an unknown date)" @@ -1076,6 +1080,9 @@ "optionsResetButton": { "message": "Reset options" }, + "optionsSliders": { + "message": "Use sliders to toggle style entries" + }, "optionsStylusThemes": { "message": "Find a Stylus UI theme" }, diff --git a/js/prefs.js b/js/prefs.js index 4e3f935e..1eccb28f 100644 --- a/js/prefs.js +++ b/js/prefs.js @@ -108,6 +108,8 @@ window.INJECTED !== 1 && (() => { 'popupWidth': 246, // popup width in pixels + 'ui.sliders': true, // use sliders instead of checkboxes for style entries + 'updateInterval': 24, // user-style automatic update interval, hours (0 = disable) }; const values = clone(defaults); diff --git a/manage.html b/manage.html index 9ee92aba..77bd75c7 100644 --- a/manage.html +++ b/manage.html @@ -5,10 +5,10 @@ + -