diff options
author | StefanVukovic99 <stefanvukovic44@gmail.com> | 2024-02-15 04:29:46 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-02-15 03:29:46 +0000 |
commit | f134664ff28c6a3ba8e2a2689b01a4d4a7efbe22 (patch) | |
tree | ca868be63f577c2986be20a62c0a177b4425ab33 | |
parent | dd27c3813c5442f70e997f644459617852bf629a (diff) |
add missing setting (#680)
-rw-r--r-- | ext/settings.html | 1 | ||||
-rw-r--r-- | ext/welcome.html | 17 |
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…</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…</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…</a></p> + </div> + </div> <hr> <div class="settings-item"><div class="settings-item-children"> <div class="dictionary-details-table"></div> |