diff options
| author | StefanVukovic99 <stefanvukovic44@gmail.com> | 2023-12-29 04:02:51 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-29 03:02:51 +0000 |
| commit | 580983b9b8a17965db1466aa08cad3c96b06022e (patch) | |
| tree | 914760e326ffc4b1acf8ddcddbd5006ae762babf /ext/settings.html | |
| parent | 8d5d2152e4295fdcefa6ef283204c92df1f81305 (diff) | |
search resolution option (#436)
* add search resolution setting
* move finding next substring to method
* use regex literal
* fix comments
* fix comments
* add options update function
* update test
Diffstat (limited to 'ext/settings.html')
| -rw-r--r-- | ext/settings.html | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/ext/settings.html b/ext/settings.html index 323be708..1095e3b7 100644 --- a/ext/settings.html +++ b/ext/settings.html @@ -1505,6 +1505,18 @@ </div> </div> <div class="settings-group advanced-only"> + <div class="settings-item advanced-only"><div class="settings-item-inner settings-item-inner-wrappable"> + <div class="settings-item-left"> + <div class="settings-item-label">Dictionary search resolution</div> + <div class="settings-item-description" lang="en"><p>"A dog"　→　search for "A dog","A do", "A d", "A"</p> or <p>"A dog"　→　"A dog", "A"</p></div> + </div> + <div class="settings-item-right"> + <select data-setting="translation.searchResolution"> + <option value="letter">Letter</option> + <option value="word">Word</option> + </select> + </div> + </div></div> <div class="settings-item settings-item-button" data-modal-action="show,translation-text-replacement-patterns"><div class="settings-item-inner"> <div class="settings-item-left"> <div class="settings-item-label">Configure custom text replacement patterns…</div> |