From 7bad83e01cb4bb65dd544de127224ba453b8e4eb Mon Sep 17 00:00:00 2001 From: forsakeninfinity Date: Sat, 8 Jul 2023 04:04:42 -0700 Subject: Add support for exporting and importing dictionaries database. It's super annoying to have to import dictionaries one at a time every time you move across browsers or devices. This change adds an experimental mechanism to export and import the entire database of dictionaries so that users have to deal with only one source instead of tracking tens of different dictionaries separately when migrating. --- ext/css/settings.css | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'ext/css') diff --git a/ext/css/settings.css b/ext/css/settings.css index 33fbc22c..eaebc3af 100644 --- a/ext/css/settings.css +++ b/ext/css/settings.css @@ -680,6 +680,16 @@ select.short-height { padding-top: var(--padding); padding-right: var(--padding); } +.settings-item-progress-report { + display: none; + font-weight: bold; + color: #4169e1; +} +.settings-item-error-report { + display: none; + font-weight: bold; + color: #8b0000; +} /* Advanced settings */ -- cgit v1.2.3