diff options
Diffstat (limited to 'ext/settings.html')
| -rw-r--r-- | ext/settings.html | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/ext/settings.html b/ext/settings.html index 2cc521d5..3a4c90ce 100644 --- a/ext/settings.html +++ b/ext/settings.html @@ -2691,6 +2691,24 @@ </div> </div> <hr> + <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> <div class="dictionary-counts"></div> |