From 475eb13fb3e9fcfa214cb6c4b56fc08455d2f12d Mon Sep 17 00:00:00 2001 From: Nariman Jelveh Date: Fri, 2 Aug 2024 14:00:44 -0700 Subject: [PATCH] add checkmark to selected language in the settings window --- src/gui/src/UI/Settings/UITabLanguage.js | 2 +- src/gui/src/css/style.css | 14 ++++++++++++++ src/gui/src/icons/checkmark.svg | 3 +++ 3 files changed, 18 insertions(+), 1 deletion(-) create mode 100644 src/gui/src/icons/checkmark.svg diff --git a/src/gui/src/UI/Settings/UITabLanguage.js b/src/gui/src/UI/Settings/UITabLanguage.js index fbea62a27..4d27f1936 100644 --- a/src/gui/src/UI/Settings/UITabLanguage.js +++ b/src/gui/src/UI/Settings/UITabLanguage.js @@ -36,7 +36,7 @@ export default { const available_languages = window.listSupportedLanguages(); h += `
`; for (let lang of available_languages) { - h += `
${html_encode(lang.name)}
`; + h += `
${html_encode(lang.name)}
`; } h += `
`; return h; diff --git a/src/gui/src/css/style.css b/src/gui/src/css/style.css index d6912ab62..95c3832f4 100644 --- a/src/gui/src/css/style.css +++ b/src/gui/src/css/style.css @@ -3865,15 +3865,29 @@ fieldset[name=number-code] { border-radius: 4px; margin-bottom: 10px; margin-right: 10px; + font-size: 13px; + position: relative; } .language-item:hover { background-color: #f6f6f6; } +.language-item .checkmark{ + width: 15px; + height: 15px; + border-radius: 50%; + margin-left: 10px; + display: none; + position: absolute; + right: 10px; +} .language-item.active { background-color: #e0e0e0; } +.language-item.active .checkmark { + display: inline-block; +} .settings-card { overflow: hidden; diff --git a/src/gui/src/icons/checkmark.svg b/src/gui/src/icons/checkmark.svg new file mode 100644 index 000000000..87168de30 --- /dev/null +++ b/src/gui/src/icons/checkmark.svg @@ -0,0 +1,3 @@ + + + \ No newline at end of file