aboutsummaryrefslogtreecommitdiff
path: root/ext
diff options
context:
space:
mode:
authorStefanVukovic99 <stefanvukovic44@gmail.com>2024-02-15 04:29:46 +0100
committerGitHub <noreply@github.com>2024-02-15 03:29:46 +0000
commitf134664ff28c6a3ba8e2a2689b01a4d4a7efbe22 (patch)
treeca868be63f577c2986be20a62c0a177b4425ab33 /ext
parentdd27c3813c5442f70e997f644459617852bf629a (diff)
add missing setting (#680)
Diffstat (limited to 'ext')
-rw-r--r--ext/settings.html1
-rw-r--r--ext/welcome.html17
2 files changed, 17 insertions, 1 deletions
diff --git a/ext/settings.html b/ext/settings.html
index 91d6d7b9..5982951a 100644
--- a/ext/settings.html
+++ b/ext/settings.html
@@ -2696,7 +2696,6 @@
<p><a tabindex="0" class="more-toggle" data-parent-distance="3">Hide&hellip;</a></p>
</div>
</div>
- <hr>
<div class="settings-item dictionary-use-deinflections-setting" hidden>
<div class="settings-item-inner">
<div class="settings-item-left">
diff --git a/ext/welcome.html b/ext/welcome.html
index 336b3432..b9bb3205 100644
--- a/ext/welcome.html
+++ b/ext/welcome.html
@@ -383,6 +383,23 @@
<p><a tabindex="0" class="more-toggle" data-parent-distance="3">Hide&hellip;</a></p>
</div>
</div>
+ <div class="settings-item dictionary-use-deinflections-setting" hidden>
+ <div class="settings-item-inner">
+ <div class="settings-item-left">
+ <div class="settings-item-label">
+ Use deinflections
+ <a tabindex="0" class="more-toggle more-only" data-parent-distance="4">(?)</a>
+ </div>
+ </div>
+ <div class="settings-item-right">
+ <label class="toggle"><input type="checkbox" class="dictionary-use-deinflections-toggle"><span class="toggle-body"><span class="toggle-track"></span><span class="toggle-knob"></span></span></label>
+ </div>
+ </div>
+ <div class="settings-item-children more" hidden>
+ Deinflections from this dictionary will be used.
+ <p><a tabindex="0" class="more-toggle" data-parent-distance="3">Hide&hellip;</a></p>
+ </div>
+ </div>
<hr>
<div class="settings-item"><div class="settings-item-children">
<div class="dictionary-details-table"></div>