summaryrefslogtreecommitdiff
path: root/ext/settings.html
diff options
context:
space:
mode:
authorStefanVukovic99 <stefanvukovic44@gmail.com>2024-01-13 12:41:38 +0100
committerGitHub <noreply@github.com>2024-01-13 11:41:38 +0000
commit273c2f22603abe563435a0f1d7a84c0d9037fe2c (patch)
tree0fe7600db81217379fa6e06d38945f10b7aec58a /ext/settings.html
parent2aea9291d66fd619c484abc2ab04b4350807f308 (diff)
add option to disable part of speech rule check (#438)
* pos filter wip * add part of speech filter option * add part of speech filter option * remove from deinflector * update test * remove return * tie to dictionary * duplicate to welcome page * delete unused html * fix ts * typo
Diffstat (limited to 'ext/settings.html')
-rw-r--r--ext/settings.html18
1 files changed, 18 insertions, 0 deletions
diff --git a/ext/settings.html b/ext/settings.html
index 8f432eb4..2cc521d5 100644
--- a/ext/settings.html
+++ b/ext/settings.html
@@ -2673,6 +2673,24 @@
<p><a tabindex="0" class="more-toggle" data-parent-distance="3">Hide&hellip;</a></p>
</div>
</div>
+ <div class="settings-item dictionary-parts-of-speech-filter-setting" hidden>
+ <div class="settings-item-inner">
+ <div class="settings-item-left">
+ <div class="settings-item-label">
+ Part of speech filtering
+ <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-parts-of-speech-filter-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>
+ When deinflecting words, only dictionary entries whose POS matches that expected by the deinflector will be shown.
+ <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>
<div class="dictionary-counts"></div>