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 @@