diff options
| author | toasted-nutbread <toasted-nutbread@users.noreply.github.com> | 2021-09-26 11:08:16 -0400 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-09-26 11:08:16 -0400 |
| commit | 9899727d7d53caed4c5b5e68176f7ed7f90a9438 (patch) | |
| tree | 3d764007cf8e86cee23be969a2065a644b27f73d /ext/settings.html | |
| parent | 88e71f82232781a1bc16701ce4719d770222ec4c (diff) | |
Frequency dictionary sort (#1938)
* Add sortDictionary/sortDictionaryOrder options
* Update options
* Add API.getTermFrequencies
* Add settings
* Implement frequency dictionary sorting
* Update test
* Update test data
* Fix handling of undefined rank-based frequencies
Diffstat (limited to 'ext/settings.html')
| -rw-r--r-- | ext/settings.html | 68 |
1 files changed, 68 insertions, 0 deletions
diff --git a/ext/settings.html b/ext/settings.html index 12ea7629..2f9d3fb3 100644 --- a/ext/settings.html +++ b/ext/settings.html @@ -285,6 +285,73 @@ </div></div> </div> </div> + <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">Frequency sorting dictionary</div> + <div class="settings-item-description"> + Sort results using a frequency dictionary. + <a tabindex="0" class="more-toggle more-only" data-parent-distance="4">More…</a> + </div> + </div> + <div class="settings-item-right"> + <select id="sort-frequency-dictionary"></select> + </div> + </div> + <div class="settings-item-children more" hidden> + <p> + Enabling this option will sort search results using a specific dictionary. + This can be beneficial when using multiple dictionaries which may not have + consistent sorting information. + </p> + <p> + <a tabindex="0" class="more-toggle" data-parent-distance="3">Less…</a> + </p> + </div> + <div class="settings-item-children settings-item-children-group" id="sort-frequency-dictionary-order-container" hidden> + <div class="settings-item"> + <div class="settings-item-inner settings-item-inner-wrappable"> + <div class="settings-item-left"> + <div class="settings-item-label"> + Frequency sorting mode + <a tabindex="0" class="more-toggle more-only" data-parent-distance="4">(?)</a> + </div> + </div> + <div class="settings-item-right"> + <div class="horizontal-flex horizontal-flex-nowrap"> + <button class="low-emphasis" id="sort-frequency-dictionary-order-auto">Auto</button> + <select id="sort-frequency-dictionary-order"> + <option value="descending">Occurrence-based</option> + <option value="ascending">Rank-based</option> + </select> + </div> + </div> + </div> + <div class="settings-item-children more" hidden> + <p> + Dictionary frequency data can be represented in one of two ways: + </p> + <ul> + <li> + <em>Occurrence-based</em>, where the frequency corresponds to a number of occurrences. + Large values indicate a more common term. + </li> + <li> + <em>Rank-based</em>, where the frequency value corresponds to a ranking index. + Smaller values indicate a more common term. + </li> + </ul> + <p> + The correct mode can be determined based on the contents of the dictionary; + the <em>Auto</em> button attempts to auto-detect the correct value. + </p> + <p> + <a tabindex="0" class="more-toggle" data-parent-distance="3">Less…</a> + </p> + </div> + </div> + </div> + </div> <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">Maximum number of results</div> @@ -3516,6 +3583,7 @@ <script src="/js/pages/settings/sentence-termination-characters-controller.js"></script> <script src="/js/pages/settings/settings-controller.js"></script> <script src="/js/pages/settings/settings-display-controller.js"></script> +<script src="/js/pages/settings/sort-frequency-dictionary-controller.js"></script> <script src="/js/pages/settings/status-footer.js"></script> <script src="/js/pages/settings/storage-controller.js"></script> <script src="/js/pages/settings/translation-text-replacements-controller.js"></script> |